Explora las contribuciones de figuras como Leibniz y Turing al desarrollo de la informática, al igual que el libro de referencia.
La Máquina Universal: La historia de la computadora
por Martin Davis · 2000
Ver sugerenciasSinopsis
Un libro que narra la historia y la evolución de la idea de la computación, desde los albores de la lógica hasta la invención de los ordenadores modernos, centrándose en las figuras clave como Leibniz, Boole, Turing y Gödel.
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
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
Principles of Mathematical Logic
1965
Sobre la Computabilidad y la Indecidibilidad
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
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ambos libros trazan la evolución histórica de la computación desde sus fundamentos lógicos y matemáticos hasta su realización práctica.
Ofrece un enfoque integral sobre la historia de la informática, conectando ideas filosóficas y tecnológicas que también aparecen en el texto original.
Se centra en el concepto de 'computabilidad' y su impacto en la lógica y matemáticas, resaltando el vínculo con los temas del libro referencia.
Presenta una narrativa accesible que sigue la misma línea temporal desde los teóricos hasta la era digital, similar a la estructura del libro de referencia.