Martin D. Davis

Un texto fundamental que explora la teoría de la computabilidad a través de la lente de las máquinas de Turing y las funciones recursivas, sentando las bases modernas de la informática teórica.

Este texto exhaustivo explora los fundamentos teóricos de la informática, incluyendo la computabilidad, la complejidad computacional y las propiedades de los lenguajes formales.

Un texto avanzado y exhaustivo que cubre en profundidad la teoría de la computabilidad, la complejidad computacional y los lenguajes formales.

Libro de referencia que cubre los fundamentos de la computabilidad, la teoría de la complejidad y los lenguajes formales, integrando teoría clásica con problemas modernos. Sirve como un texto avanzado que complementa los temas introductorios.

Este libro presenta una introducción a los principios del razonamiento matemático, explorando la lógica subyacente y las técnicas necesarias para la formulación y prueba de argumentos matemáticos.