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

Computability, Complexity, and Languages · Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
Authors
Davis, Martin & Sigal, Ron & Weyuker, Elaine J.
Publisher
Morgan Kaufmann Publishers
ISBN
9780122063824
Date
1983-01-01T00:00:00+00:00
Size
9.96 MB
Lang
en
download read it!
Downloaded: 193 times

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.