Descripción
Introducción a la teoría de la computabilidad
Resumen del libro
Esta obra ofrece una introducción clara y rigurosa a los fundamentos de la teoría de la computabilidad, dirigida especialmente a estudiantes de ingenierías informáticas. A través de un enfoque práctico, conecta conceptos abstractos como las máquinas de Turing, las funciones recursivas y la indecibilidad con la experiencia cotidiana en lenguajes de programación. Incluye más de cien problemas resueltos que facilitan la asimilación de los contenidos y permiten al lector autoevaluar su progreso. Es un recurso esencial para quienes desean comprender los límites y capacidades de la computación.
¿De qué trata?
El libro presenta de manera sistemática los conceptos nucleares de la teoría de la computabilidad. Comienza con los preliminares matemáticos necesarios para abordar la materia, para luego adentrarse en el estudio de las máquinas de Turing como modelo formal de computación. A continuación, explora las funciones recursivas y la computación universal, estableciendo puentes entre estos modelos y la programación real. La obra culmina con el análisis de los problemas de decibilidad e indecibilidad, mostrando qué problemas pueden resolverse algorítmicamente y cuáles no. Cada capítulo se apoya en ejemplos prácticos y ejercicios, cuyas soluciones se recogen en un apéndice, favoreciendo un aprendizaje autónomo y aplicado.
Temas principales
- Preliminares matemáticos para la teoría de la computación.
- Modelos de computación: máquinas de Turing y sus variantes.
- Funciones recursivas y su relación con la computabilidad.
- Computación universal y la máquina de Turing universal.
- Problemas decidibles e indecidibles: límites de la computación.
- Más de cien problemas resueltos para la práctica autónoma.
¿Para quién está recomendado?
Este libro está recomendado para estudiantes de ingeniería informática y otras titulaciones afines que cursen asignaturas de teoría de la computación, computabilidad o complejidad. También es útil para profesionales del desarrollo de software que deseen comprender los fundamentos teóricos de su disciplina, así como para docentes que busquen un material didáctico con ejercicios resueltos.
Qué aporta este libro
- Comprensión sólida de los conceptos clave de la teoría de la computabilidad.
- Conexión directa entre la teoría abstracta y la práctica de la programación.
- Más de cien problemas resueltos que facilitan el estudio y la autoevaluación.
- Base teórica necesaria para abordar materias avanzadas como complejidad computacional o inteligencia artificial.
- Enfoque didáctico y progresivo, ideal para el aprendizaje autónomo.
Ficha técnica
- Autor: Gallardo López; Domingo, Arques Corrales; Pilar, Lesta Pelayo; Ignacio
- Editorial: Publicaciones de la Universidad de Alicante
- Idioma: Español
- Tema: Informática: cuestiones generales
- Colección: Textos Docentes
- Encuadernación: Bolsillo
- Fecha de edición: 2003
- Número de páginas: 238
- Dimensiones: 24.0 cm x 17.0 cm
- Peso: 515.0 gr
Valoración editorial
Se trata de un manual universitario bien estructurado que cumple con su propósito de introducir la teoría de la computabilidad de forma accesible y práctica. Su principal valor reside en la abundancia de ejercicios resueltos y en el enfoque que vincula los conceptos formales con la programación real, lo que facilita la asimilación por parte de estudiantes con perfil técnico. Es una referencia adecuada para quienes necesitan dominar los fundamentos teóricos de la computación sin perder de vista su aplicación práctica.