Ambos libros ofrecen una introducción rigurosa a la teoría de las máquinas de Turing, estableciendo conceptos fundamentales de computabilidad.
Máquinas y Teoría de la Computación
por Hans Hermes · 1969
Ver sugerenciasSinopsis
Un texto clásico de lógica matemática que introduce rigurosamente las bases de la teoría de la computación, incluyendo los conceptos de funciones recursivas, máquinas de Turing y decidibilidad.
Sé el primero en valorar este libro.
Más de Hans Hermes
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto aborda matemáticas en la computación con un enfoque formal similar, cubriendo autómatas y lenguajes formales relacionados a la teoría de computación.
Explora la computabilidad como Máquina de Turing y funciones recursivas, alineándose con las bases teóricas discutidas en el libro de referencia.
Analiza la teoría de la computación y las máquinas de Turing, ofreciendo un enfoque clásico que refleja la estructura y el rigor del texto original.
Aborda los fundamentos lógicos de la computación y la teoría de la computabilidad, reforzando la base matemática como en el libro de Hermes.
Introduce de manera rigurosa la teoría de la computabilidad y las máquinas de Turing, similar en contenido y enfoque académico al libro de referencia.