Al igual que 'El Problema de la Parada', aborda la teoría de la computabilidad y las limitaciones de lo que se puede demostrar en la informática.
El Problema de la Parada: Un Tour A Través de la Teoría de la Computación
por Martin Davis · 1993
Ver sugerenciasSinopsis
Este libro explora el famoso problema de la parada de la teoría de la computación, un concepto fundamental que demuestra las limitaciones intrínsecas de los algoritmos y la computabilidad. Se sumerge en las bases lógicas y matemáticas de la informática.
Sé el primero en valorar este libro.
Más de Martin Davis
Ver autor →Otras obras del mismo autor en el catálogo
Sobre los Números y la Computación
1958
Máquinas de Post: Una Introducción a la Teoría de la Computación
1958
El Problema de la Computación: La Teoría de la Calculabilidad
1958
Computability and Unsolvability
1958
Máquinas de Turing y funciones recursivas
1958
Principles of Mathematical Logic
1965
Sobre la Computabilidad y la Indecidibilidad
1965
Máquinas de Turing
1965
The Logic of Computation
1967
Mathematics and the Mind
1980
La Máquina Universal: Fundamentos de la Computabilidad
1980
Computability, Complexity, And Languages: Fundamentals Of Theoretical Computer Science
1983
Introduction to Recursion Theory
1991
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
1994
Sets, Relations, and Functions
1995
Libros similares
Libros relacionados según distintos criterios de búsqueda
'El Problema de la Computación' investiga los límites de la calculabilidad, complementando el análisis del problema de la parada con un enfoque en problemas específicos.
Explora la computabilidad a través de las máquinas de Turing, ofreciendo un marco riguroso y matemático que se alinea con el enfoque lógico de 'El Problema de la Parada'.
Se introduce a las máquinas de Turing y conceptos de indecidibilidad, alineándose con la exploración de límites computacionales fundamental en el libro de referencia.
Los principios lógicos y matemáticos presentados en 'Máquinas de Turing' proporcionan la base teórica que Davis utiliza para discutir el problema de la parada.
Ofrece un recorrido histórico sobre la evolución de la computación que enriquece la comprensión de la lógica y matemáticas presentes en 'El Problema de la Parada'.