Delgado Pin, Jordi

De Turing a Google : computación y programación / Jordi Delgado Pin. - 142 páginas : ilustraciones (principalmente a blanco y negro), diagramas ; 24 cm. - Grandes ideas de las matemáticas 28 . - Grandes ideas de las matemáticas 28 .

Bibliografía : páginas 141-142

Turing -- De la notación : el lenguaje de programación WHILE -- ¿Se puede computar cualquier cosa? -- Espejito, espejito -- All good things.

Hacia 1936, y tras seguir caminos separados e independientes, Alan Turing y Alonso Church dieron luz a una teoría sobre qué se puede computar y qué no. Este volumen es precisamente una introducción a esa teoría, llamada «de la computabilidad». Casi un siglo después de los trabajos de Turing y Church, pero también de las aportaciones de Kurt Gödel y Stephen C. Kleene, entre otros, ciertas construcciones matemáticas utilizadas en la mencionada teoría, inventadas a tenor de las necesidades formales de la época, se pueden sustituir por otras mucho más sencillas, haciendo más asequible, que no menos general ni menos rigurosa, la exposición de los aspectos clave de la misma. Esa ha sido la acertada elección del autor de este libro, que emplea conceptos modernos de programación para explicar los resultados más relevantes de la teoría de la computabilidad.-- Contracubierta

9788417811495 8417811494


Funciones calculables
Lenguajes de programación--Modelos matemáticos
Decidabilidad (Lógica matemática)
Lógica simbólica y matemática

511.352 / D352d