Máquinas de Turing y Algoritmos para la Computación

Sinopsis

Un libro de texto que explora la teoría de la computación a través de las máquinas de Turing, abordando la indecibilidad, la complejidad computacional y la relación entre la lógica y la computabilidad.