Computability, complexity, and languages: Fundamentals of theoretical computer science (Computer science and applied mathematics)
32 ratings by Goodreads
Language: English
Published by Academic Press Inc, 1983
Series: Book 1 of 3 - Computer Science and Scientific Computing
- Hardcover
- New
Hardcover
Condition: New
US$ 64.18
US$ 5.50 shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
New Copy. Customer Service Guaranteed.
Seller Inventory # 38I25_67_0122063805
- Title
- Computability, complexity, and languages: Fundamentals of theoretical computer science (Computer science and applied mathematics)
- Author
- Martin Davis
- Publisher
- Academic Press Inc
- Publication year
- 1983
- Condition
- new
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0122063805
- ISBN 13
- 9780122063800
- Series
- Book 1 of 3: Computer Science and Scientific Computing
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.
* Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.
* The number of exercises included has more than tripled.
* Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.
* Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.
* The number of exercises included has more than tripled.
* Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.
"Synopsis" may belong to another edition of this title.
From the Back Cover
This book is a rigorous but readable introduction to some of the central topics in theoretical computer science. The main subjects are computability theory, formal languages, logic and automated deduction, computational complexity (including NP-completeness), and programming language semantics.
"About the title" may belong to another edition of this title.
Shipping rates within U.S.A.
| Item | 4 to 14 business days | 3 to 8 business days |
|---|---|---|
| First item | US$ 5.50 | US$ 12.75 |
Payment methods
Store description
We are dedicated to providing customers with easy, flawless transactions and excellent books! We provide 100% customer satisfaction and are always here to answer any questions or concerns for our customers.
Specialty
Non-Fiction across all genres, FictionSeller's business information
Farm For Books Inc
1734 Bellaire Street
Denver, CO U.S.A. 80220