Autor: Michael Sipser
Editorial: Thomsom/Course Technology

Descripción: El libro Introduction to the Theory of Computation ofrece un tratamiento matemático con una sólida base en teoremas y pruebas. Las pruebas se presentan con un componente de "idea de prueba" para poner de manifiesto los conceptos que sustentan el formalismo. Los algoritmos se presentan de forma descriptiva y no en pseudocódigo, para centrar la atención en los algoritmos en sí, en vez de hacerlo en modelos computacionales específicos. La difusión del tema, la terminología y el orden de presentación, constituyen lo tradicional de un curso superior de teoría de la informática. A los usuarios de la edición preliminar (ya agotada) les resultará interesante poder observar varios capítulos nuevos sobre teoría de la complejidad: el capítulo 8 tratará la complejidad espacial, el capítulo 9 se centrará en la insolubilidad probada y en el capítulo 10 se tratarán temas avanzados, entre los que se encuentran los algoritmos de aproximación, la alternación, los sistemas de prueba interactivos, la criptografía y la computación paralela.

La primera edición se encuentra disponible en estos momentos. Consulte el índice de contenidos del libro (en inglés). (PDF)

El autor está recopilando una fe de erratas (en inglés) de la primera edición.

(Nota: la edición preliminar ya no se vende).