Logic and Language Models for Computer Science

Richards, Dana, Hamburger, Henry

3.88 out of 5 stars

8 ratings by Goodreads

ISBN 10: 0130654876 ISBN 13: 9780130654878

Published by Prentice Hall PTR, 2002

Language: English

Condition: Used - Good Soft cover

Save for Later

Sold by Better World Books, Mishawaka, IN, U.S.A.

AbeBooks Seller since August 3, 2006

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Used - Good

Price: US$ 14.71 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: 2 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Used book that is in clean, average condition without any missing pages.

Seller Inventory # 4899528-6

Contact seller

Report this item

Bibliographic Details

Title

Logic and Language Models for Computer Science

Publisher

Prentice Hall PTR

Publication Date

2002

Language

English

ISBN 10

0130654876

ISBN 13

9780130654878

Binding

Soft cover

Edition

1st.

Condition

Good

Seller catalogs

About this title

Synopsis

This text makes in-depth explorations of a broad range of theoretical topics in computer science. It plunges into the applications of the abstract concepts in order to confront and address the skepticism of readers, and instill in them an appreciation for the usefulness of theory. A two-part presentation integrates logic and formal language—both with applications. Chapter topics cover mathematical preliminaries, propositional logic, proving things: why and how, predicate logic, proving with predicates, program verification, logic programming, language models for computer science, language models, finite automata and their languages, regular expressions, Lex: a tool for building lexical scanners, context-free grammars, pushdown automata and parsing, and turing machines. For future computer scientists.

About the Author

Henry Hamburger is a Professor and Chairman of the Department of Computer Science at George Mason University.

Dana Richards is an Associate Professor with the Department of Computer Science at George Mason University.

"About this title" may belong to another edition of this title.

Store Description

Better World Books (https://www.BetterWorldBooks.com) is a for-profit, socially conscious business and a global online bookseller that collects and sells new and used books online, matching each purchase with a book donation. Each sale generates funds for literacy and education initiatives in the U.S., the UK, and around the world. Since its launch in 2003, Better World Books has raised $33 million for libraries and literacy, donated over 32 million books, and reused or recycled more than 397 million books.

Visit Seller's Storefront

Seller's business information

Better World Books Marketplace, Inc.
55740 Currant Road, Mishawaka, IN, 46545, U.S.A.

Sale & Shipping Terms

Terms of Sale

Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.

If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostl...

More Information

Shipping Terms

Please allow 1-2 business days for order fulfillment.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 8 business days	3 to 5 business days
First item	US$ 0.00	US$ 10.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.