Ambos libros, escritos por Rózsa, abordan la teoría de la computabilidad, explicando conceptos complejos de manera accesible para el público general.

por Péter Rózsa · 1961
Ver sugerenciasSinopsis
Este libro, escrito por una matemática húngara, introduce conceptos de lógica matemática y computación de una manera accesible para el público general, explorando los fundamentos de la teoría de la computabilidad y los lenguajes formales con claridad.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda
Ambos libros, escritos por Rózsa, abordan la teoría de la computabilidad, explicando conceptos complejos de manera accesible para el público general.
Davis proporciona una introducción clara a conceptos como las máquinas de Turing, similar a cómo Rózsa introduce la computación y la lógica matemática.
Este libro de Davis establece conexiones entre lógica y computación, al igual que Rózsa, explorando los límites de lo que se puede computar.
Harel ofrece una visión profunda pero accesible de la informática, similar a la claridad que Rózsa ofrece en su tratamiento de la computación y la lógica.
La narrativa histórica de Davis sobre la computabilidad complementa la exploración de Rózsa sobre conceptos fundamentales en la teoría computacional y lógica.
Manin conecta los teoremas de Gödel con la computación, apropiándose del enfoque de Rózsa para discutir los límites del conocimiento formal en matemáticas.