Máquinas de Turing y funciones recursivas
por Martin D. Davis · 1958
Sinopsis
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
The Logical Structure of Mathematical Reasoning
1994
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
1994
Mathematics and the Imagination
Introduction to Mathematical Logic
Beyond the Classroom: Transforming Mathematics Education
Mathematical Thinking
Teaching Mathematics with Technology
Understanding Logic
Foundations of Mathematics Education
A Journey through Mathematics
Mathematical Concepts and Applications
Mathematics for Teachers
Exploring Mathematics through Literature
Principles of Mathematical Reasoning
The Art of Problem Solving
Libros similares
Libros relacionados según distintos criterios de búsqueda