El libro presenta una introducción esencial a las máquinas de Turing, un tema central también en 'Sobre la Computabilidad y la Indecidibilidad'.
Sobre la Computabilidad y la Indecidibilidad
por Martin Davis · 1965
Ver sugerenciasSinopsis
Una recopilación fundamental de los textos originales y comentarios sobre la teoría de la computabilidad, incluyendo los trabajos seminales de Gödel, Turing, Church y Post.
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 Post: Una Introducción a la Teoría de la Computación
1958
Computability and Unsolvability
1958
Sobre los Números y la Computación
1958
El Problema de la Computación: La Teoría de la Calculabilidad
1958
Principles of Mathematical Logic
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
El Problema de la Parada: Un Tour A Través de la Teoría de la Computación
1993
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
Explora las raíces de la teoría de la calculabilidad, tal como lo hace Davis, analizando las limitaciones de lo que se puede calcular.
Aborda la intersección entre lógica matemática y computación, reflejando los enfoques fundamentales sobre la computabilidad de Davis.
Introduce conceptos teóricos de la computación, similar a la estructura de Davis, explicando de manera clara la indecidibilidad y la computabilidad.
Analiza los fundamentos lógicos y matemáticos de las máquinas de Turing, un aspecto crítico también a fondo en la obra de Davis.
Presenta las funciones recursivas en el marco de la computabilidad, alineándose con los aportes teóricos de Davis sobre el mismo tema.