Ambos libros abordan la evolución de la computación desde sus raíces teóricas, destacando a figuras como Leibniz y Turing.
La Máquina Universal: La historia de la computación
por Martin Davis · 2000
Ver sugerenciasSinopsis
Un relato conciso y accesible de la historia de la computación, desde los pioneros teóricos como Leibniz y Babbage hasta Turing y Neumann, mostrando cómo las ideas abstractas llevaron a la creación de las computadoras modernas.
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
Ofrece un análisis profundo de cómo las ideas lógicas y matemáticas llevaron a la creación de las computadoras modernas, igual que el libro de referencia.
Explora el mismo viaje intelectual desde la lógica formal hasta la invención de la máquina de Turing, mostrando su relevancia en la computación.
Al igual que el libro de referencia, traza un recorrido histórico y conceptual desde los inicios de la computación hasta su desarrollo moderno.
Este texto se centra en la evolución de la computación y sus fundamentos, similarmente a cómo el relato de Davis destaca a figuras clave.
Ambos libros presentan una línea temporal que conecta la historia de la lógica con la computación moderna, subrayando contribuciones de pensadores destacados.