El Problema de la Parada: Un Tour A Través de la Teoría de la Computación
por Martin Davis · 1993
Sinopsis
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
Máquinas de Turing y funciones recursivas
1958
El Problema de la Computación: La Teoría de la Calculabilidad
1958
Computability and Unsolvability
1958
Principles of Mathematical Logic
1965
Máquinas de Turing
1965
The Logic of Computation
1967
Mathematics and the Mind
1980
Computability, Complexity, And Languages: Fundamentals Of Theoretical Computer Science
1983
Introduction to Recursion Theory
1991
Sets, Relations, and Functions
1995
Computational Complexity: A Modern Approach
1998
La Máquina Universal: La historia de la computación
2000
The Universal Computer: The Road from Leibniz to Turing
2000
La Máquina Universal. Los orígenes de la informática
2000
La Máquina Universal: La historia de la ciencia de la computación
2000
Libros similares
Libros relacionados según distintos criterios de búsqueda