Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo
Julián Iranzo, Pascual
Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo - Madrid : Pearson Educación, 2007 - XXVI, 470 p. ; 25 cm
Índice
Bibliografía: p. [453]-463
Este libro tiene por objeto introducir a los estudiantes de Ingeniería Informática en los fundamentos y las principales técnicas desarrolladas en el campo de la Programación Lógica. -Específicamente, la obra va dirigida a alumnos de segundo o tercer curso de Ingeniería en Informática que sigan un curso de Programación Declarativa, o más específicamente uno de Programación Lógica. - El libro es apropiado para estudiantes de Ingeniería Informática o para programadores que quieran conocer las aplicaciones prácticas de la programación lógica. -La principal característica distintiva de este libro es la de aunar, en un mismo texto, tanto los fundamentos teóricos como la práctica de la programación lógica. Índice: Una panorámica de la Programación Declarativa. I FUNDAMENTOS. Sistemas Formales, lógica y Lenguajes de Programación. De la Demostración Automática a la Programación Lógica (I): introducción y métodos semánticos De la Demostración Automática a la Programación Lógica (II): el principio de resolución de Robinson. II PROGRAMACION LOGICA Programación Lógica El lenguaje Prolog: Introducción. El lenguaje Prolog: Aspectos Avanzados III APLICACIONES de la PROGRAMACION LOGICA. Representación del conocimiento. Resolución de problemas Programación Lógica y Tecnología Software Rigurosa A. Fundamentos y Notaciones matemáticas.
84-8322-368-6
Prolog (Lenguaje de programación)
Programación lógica
Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo - Madrid : Pearson Educación, 2007 - XXVI, 470 p. ; 25 cm
Índice
Bibliografía: p. [453]-463
Este libro tiene por objeto introducir a los estudiantes de Ingeniería Informática en los fundamentos y las principales técnicas desarrolladas en el campo de la Programación Lógica. -Específicamente, la obra va dirigida a alumnos de segundo o tercer curso de Ingeniería en Informática que sigan un curso de Programación Declarativa, o más específicamente uno de Programación Lógica. - El libro es apropiado para estudiantes de Ingeniería Informática o para programadores que quieran conocer las aplicaciones prácticas de la programación lógica. -La principal característica distintiva de este libro es la de aunar, en un mismo texto, tanto los fundamentos teóricos como la práctica de la programación lógica. Índice: Una panorámica de la Programación Declarativa. I FUNDAMENTOS. Sistemas Formales, lógica y Lenguajes de Programación. De la Demostración Automática a la Programación Lógica (I): introducción y métodos semánticos De la Demostración Automática a la Programación Lógica (II): el principio de resolución de Robinson. II PROGRAMACION LOGICA Programación Lógica El lenguaje Prolog: Introducción. El lenguaje Prolog: Aspectos Avanzados III APLICACIONES de la PROGRAMACION LOGICA. Representación del conocimiento. Resolución de problemas Programación Lógica y Tecnología Software Rigurosa A. Fundamentos y Notaciones matemáticas.
84-8322-368-6
Prolog (Lenguaje de programación)
Programación lógica