Introducción a la teoría de la computabilidad

Autores: Domingo Gallardo López , Ignacio Lesta Pelayo, Pilar Arques Corrales
Editores: Universidad de Alicante / Universitat d'Alacant, Servicio de Publicaciones
Año de publicación: 2003
Edición: 2ª
Colecciones: Textos docentes
País: España
Idioma: español
ISBN: 84-7908-763-3, 978-84-7908-763-0
Otras ediciones del libro:
- 1ª Edición, Año 1997. ISBN: 84-7908-376-X, 3
Texto completo no disponible (Saber más ...)

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.