Ambos libros narran la historia de la computación desde su origen en las ideas de Leibniz hasta los desarrollos de Turing y Neumann.
La máquina universal: Historia de la computación
por Martin Davis · 2000
Ver sugerenciasSinopsis
Este libro narra la historia del concepto de "computabilidad" y cómo condujo al desarrollo de las computadoras modernas, desde las ideas de Leibniz hasta los trabajos de Turing y Von Neumann.
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
Este libro profundiza en los conceptos de computación, incluyendo la lógico-formal, muy similar a la exploración histórica encontrada en la obra de Davis.
Davis describe en detalle las ideas fundamentales que llevaron a la computación, al igual que este libro se enfoca en los mismos pioneros teóricos.
Aquí se evidencian las contribuciones de filósofos como Leibniz y Turing, al igual que en la obra de Davis, creando un hilo argumental paralelo.
Ambos textos resaltan la evolución de la computación, destacando personajes clave como Turing, en un contexto accesible y educativo.
Este libro sigue la misma línea temporal que Davis, al trazar la historia de la computación desde sus cimientos lógicos hasta la digitalización moderna.