Programación lógica. teoría y práctica

✍ Scribed by María Alpuente Fresnedo, Pascual Julian Iranzo

• Publisher: Prentice hall
• Year: 2007
• Tongue: Spanish
• Leaves: 498
• Edition: 1
• Category: Library

✦ Synopsis

Este libro tiene por objeto introducir a los estudiantes de Ingeniería.

✦ Table of Contents

Programación Lógica Teoría y Práctica
Índice general
CAPÍTULO 1 Una Panorámica de la Programación Declarativa
Parte I Fundamentos
CAPÍTULO 2 Sistemas Formales, Lógica y Lenguajes de Programación
CAPÍTULO 3 De la Demostración Automática a la Programación Lógica (I): introducción y métodos semánticos
CAPÍTULO 4 De la Demostración Automática a la Programación Lógica (II): el principio de resolución de Robinson
Parte II Programación Lógica
CAPÍTULO 5 Programación Lógica
CAPÍTULO 6 El Lenguaje Prolog: Introducción
CAPÍTULO 7 El Lenguaje Prolog: Aspectos Avanzados
Parte III Aplicaciones de la Programación Lógica
CAPÍTULO 8 Representación del conocimiento
CAPÍTULO 9 Resolución de problemas
CAPÍTULO 10 Programación Lógica y Tecnología Software Rigurosa
APÉNDICE A Fundamentos y Notaciones Matemáticas
Bibliiografia
Índice alfabético