DOMINGO GALLARDO LOPEZ

Esta obra, dirigida fundamentalmente a estudiantes de ingenierías informáticas, presenta los conceptos fundamentales de la teoría de la computabilidad. Abarca los temas de computabilidad, máquinas de Turing, funciones recursivas, computacion universal y decibilidad e indecibilidad, junto con un tema de preliminares matematicos necesarios para la comprension del texto. En todo momento se utiliza un enfoque practico relacionando todos estos conceptos con la experiencia de los estudiantes en lenguajes de programacion. Se proponen mas de cien problemas, de los que se incluye la solucion en un apendice.