Martin Davis

Una introducción fundamental a la teoría de las máquinas de Turing y las funciones recursivas, estableciendo la base formal para la computabilidad.

Un clásico que explora los orígenes y desarrollos de la teoría de la calculabilidad, examinando qué problemas pueden ser "calculados" por máquinas y los límites inherentes a la computación.

Introduce la teoría de la computabilidad a través de las máquinas de Post, un modelo de computación que es equivalente a las máquinas de Turing pero a menudo considerado más intuitivo.

Un libro seminal que introduce la teoría de la computabilidad y los sistemas formales, explorando los límites de lo que es computable y demostrable, y estableciendo conexiones cruciales entre la lógica matemática y la informática.

Este libro ofrece un enfoque riguroso sobre la lógica matemática, explorando temas como la teoría de la computación y la decidibilidad, a partir de fundamentos formales y conceptos esenciales en la lógica.

Una recopilación fundamental de los textos originales y comentarios sobre la teoría de la computabilidad, incluyendo los trabajos seminales de Gödel, Turing, Church y Post.

Un clásico texto que explora la teoría de la computabilidad, las máquinas de Turing y los fundamentos lógicos y matemáticos que cimentan la ciencia de la computación.

Este libro explora los fundamentos matemáticos y filosóficos de la computación, analizando las teorías de la computabilidad y la naturaleza de los problemas que las computadoras pueden resolver.

Una introducción accesible a los conceptos teóricos de la computación, desde las máquinas de Turing hasta la indecidibilidad, explicando los fundamentos matemáticos de lo que significa que algo sea 'computable' o 'programable'.

Un libro de texto que cubre extensamente los pilares de la ciencia de la computación teórica, incluyendo la computabilidad, la complejidad algorítmica y las teorías de lenguajes formales, con un enfoque riguroso.

Este libro explora el famoso problema de la parada de la teoría de la computación, un concepto fundamental que demuestra las limitaciones intrínsecas de los algoritmos y la computabilidad. Se sumerge en las bases lógicas y matemáticas de la informática.

Este libro ofrece una introducción a los fundamentos de la computabilidad y la complejidad en la informática teórica, explorando tanto los aspectos formales como sus implicaciones prácticas.

Este libro narra la historia intelectual del concepto de computación, desde los trabajos de lógica formal de Leibniz y Boole hasta la invención de la máquina de Turing y el desarrollo de la informática moderna.

Este libro traza la historia y las ideas de los pioneros de la lógica matemática y la computación que sentaron las bases para las computadoras modernas y la teoría de la computabilidad.