Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

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.

• Author
• Martin D. Davis, Ron Sigal, Elaine J. Weyuker

• Format
• hardcover

• Pages
• 609

• Publisher
• Morgan Kaufmann Publishers

• Language
• english

• ISBN
• 9780122063824

• Genres
• logic, programming, mathematics

• Release date
• 1994