Introducción a la teoría de la computabilidad

  1. Gallardo López, Domingo
  2. Lesta Pelayo, Ignacio
  3. Arques Corrales, Pilar

Editorial: Servicio de Publicaciones ; Universidad de Alicante / Universitat d'Alacant

ISBN: 978-84-7908-763-0 84-7908-763-3 84-7908-376-X 3

Año de publicación: 2003

Tipo: Libro

Resumen

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.