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

Book 1 of 3: Computer Science and Scientific Computing

Davis, Martin D.

  • 4.06 out of 5 stars
    32 ratings by Goodreads
 
9781483237978: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Synopsis

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.

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

Other Popular Editions of the Same Title