Computability and Unsolvability
por Martin Davis · 1958
Sinopsis
Este libro explora los fundamentos de la teoría de la computabilidad y los límites de lo que puede ser resuelto mediante procedimientos algorítmicos, combinando aspectos matemáticos y filosóficos de la no computabilidad.
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
Máquinas de Turing
1965
Principles of Mathematical Logic
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
The Universal Computer: The Road from Leibniz to Turing
2000
La Máquina Universal. Los orígenes de la informática
2000
Engaging the Future: Forecasting Technology and Its Implications
2000
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.