Los Sistemas Formales de Alan Turing
por Andrew Hodges · 2007
Ver sugerenciasSinopsis
Este libro analiza en profundidad los trabajos fundacionales de Alan Turing sobre la computabilidad, la noción de algoritmo y los límites de la prueba, a menudo a través del análisis de sus propios escritos y manuscritos.
Sé el primero en valorar este libro.
Más de Andrew Hodges
Ver autor →Otras obras del mismo autor en el catálogo
El Problema de Turing: Computabilidad y Lógica
1983
La máquina universal: La búsqueda de la verdad de Alan Turing
1983
La máquina de Turing: el origen de la computación
1983
El enigma de la razón: La historia del hombre que descifró el algoritmo de Enigma
1983
La máquina universal: la historia de Alan Turing
1983
El algoritmo de la mente: la verdadera historia de Alan Turing y el nacimiento de la computación
1983
Turing y la Máquina Universal
1983
La Máquina Universal de Turing: Una Introducción al Problema de la Parada
1983
El Enigma de Turing: La biografía de un genio
1983
La máquina de Turing: y el origen del ordenador moderno
1983
El enigma de Turing
1983
La máquina de Turing: el nacimiento de la computación o de cómo un matemático loco revolucionó el mundo
1983
La Máquina Universal: Alan Turing y el Nacimiento de la Computación
1983
Alan Turing: The Enigma
1983
Un mago en la oscuridad: El misterio de la vida de Alan Turing
1983
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.