Ofrece una introducción profunda a la teoría de las máquinas de Turing y funciones recursivas, reforzando conceptos compartidos por ambos textos.
Máquinas de Turing y funciones recursivas
por Martin D. Davis · 1958
Ver sugerenciasSinopsis
Un texto fundamental que explora la teoría de la computabilidad a través de la lente de las máquinas de Turing y las funciones recursivas, sentando las bases modernas de la informática teórica.
Sé el primero en valorar este libro.
Más de Martin D. Davis
Ver autor →Otras obras del mismo autor en el catálogo
Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science
1994
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
1994
The Logical Structure of Mathematical Reasoning
1994
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
1994
Mathematics and the Imagination
The Art of Problem Solving
A Journey through Mathematics
Exploring Mathematics through Literature
Understanding Logic
Mathematical Thinking
Mathematics for Teachers
Mathematical Concepts and Applications
Mathematical Literacy in the 21st Century
Teaching Mathematics with Technology
Beyond the Classroom: Transforming Mathematics Education
Libros similares
Libros relacionados según distintos criterios de búsqueda
Explora los límites de la computabilidad y la relación entre lógica matemática y computación, temas centrales en el libro de referencia.
Aborda las bases teóricas de la computación, incluida la teoría de la computabilidad y máquinas de Turing, similar en enfoque y contenido.
Introduce conceptos teóricos sobre la computación y la indecidibilidad, ofreciendo un marco matemático que complementa los fundamentos tratados en el libro original.
Profundiza en la teoría de la computabilidad y los principios lógicos y matemáticos detrás de las máquinas de Turing, conectando directamente con la obra de Davis.
Relata la evolución de las ideas en computación, desde Leibniz hasta Turing, enfatizando fundamentos matemáticos que son analogías de la lógica del libro de referencia.