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, computación universal y decibilidad e indecibilidad, junto con un tema de preliminares matemáticos necesarios para la comprensión del texto. en todo momento se utiliza un enfoque práctico relacionando todos estos conceptos con la experiencia de los estudiantes en lenguajes de programación. se proponen más de cien problemas, de los que se incluye la solución en un apéndice.desde su aparición, este libro se ha revelado como un manual de extraordinaria utilidad para quien desee iniciarse en los conceptos básicos de la teoría de la computabilidad. resultado de la amplia experiencia docente de sus autores, todos ellos profesores de la universidad de alicante, está orientado fundamentalmente a los alumnos de las titulaciones de informática.trás el éxito obtenido en su primera edición, presentamos hoy una segunda que ha sido cuidadosamente revisada y puesta al día, y en la que se ha aumentado, de manera significativa, el número de ejercicios de la mayoría de los capítulos.