Computability, Complexity, and Languages

Fundamentals of Theoretical Computer Science

Autores

Martin Davis
Ron Sigal
Elaine J Weyuker

Valoración del libro

4,0(25)Añadir reseña

Parámetros

Informática, IT, Programación
No ficción

Más información sobre el libro

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.