Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Other | March 18, 1994

byMartin Davis, Martin Davis, Ron Sigal...

not yet rated|write a review
Computability, Complexity, and Languages is an introductory text that 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.

Pricing and Purchase Info

$64.79
$81.00 list price save 20%
In stock online
Ships free on orders over $25

From the Publisher

Computability, Complexity, and Languages is an introductory text that 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 Uns...

Elaine Weyuker is a researcher at AT&T Labs who specializes in empirical software engineering and testing research. She is a member of the National Academy of Engineering, an IEEE Fellow, an ACM Fellow, and an AT&T Fellow. She is the co-chair of the ACM Committee on Women in Computing (ACM-W) and a member of the Coalition to Diversify ...

other books by Martin Davis

The Very Best of the Rat Pack (Songbook)
The Very Best of the Rat Pack (Songbook)

Kobo ebook|May 1 2011

$22.49$29.20list pricesave 22%
Parole, Pardon, Pass and Amnesty Documents of the Civil War: An Illustrated History
Parole, Pardon, Pass and Amnesty Documents of the Civil...

Kobo ebook|Nov 21 2013

$31.99$39.95list pricesave 19%
Violence against Women
Violence against Women

Kobo ebook|Dec 2 2004

$45.59$57.00list pricesave 20%
see all books by Martin Davis
Format:OtherDimensions:609 pages, 1 × 1 × 1 inPublished:March 18, 1994Publisher:Elsevier ScienceLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0080502466

ISBN - 13:9780080502465

Customer Reviews of Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Reviews

Extra Content

Table of Contents

Preliminaries.Computability:Programs and Computable Functions. Primitive Recursive Functions. A Universal Program. Calculations on Strings. Turing Machines. Processes and Grammars. Classifying Unsolvable Problems.Grammars and Automata:Regular Languages. Context-Free Languages. Context-Sensitive Languages.Logic:Propositional Calculus. Quantification Theory.Complexity:Abstract Complexity. Polynomial–Time Computability.Semantics:Approximation Orderings. Denotational Semantics of Recursion Equations. Operational Semantics of Recursion Equations. Suggestions for Further Reading. Subject Index.