Programación lógica :
Julián Iranzo, Pascual
Programación lógica : Teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo. - Madrid : Pearson, 2007. - xxvi, 470 p. : il. diag. ; 25 cm.
Incluye índice de tablas al icinio de la obra.
Incluye índice alfabético p. 464
Incluye referencias bibliográficas p. 453
1. Una panorámica de la programación declarativa -- Fundamentos I: 2. Sistemas formales, lógica y lenguajes de programación -- 3. De la demostración automática a la programación lógica (I): introducción y métodos semánticos -- 4. De la demostración automática a la programación lógica (II): el principio de resolución de Robinson -- Programación lógica II: 5. Programación lógica -- 6. El lenguaje prolog: Introducción -- 7. El lenguaje prolog: Aspectos avanzados -- Aplicaciones de la programación lógica: 8. Representación del conocimiento -- 9. Resolución de problemas -- 10. Programación lógica y tecnología software rigurosa.
9788483223680
Lógica simbólica
Lógica matemática
005.131 / J945 2007
Programación lógica : Teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo. - Madrid : Pearson, 2007. - xxvi, 470 p. : il. diag. ; 25 cm.
Incluye índice de tablas al icinio de la obra.
Incluye índice alfabético p. 464
Incluye referencias bibliográficas p. 453
1. Una panorámica de la programación declarativa -- Fundamentos I: 2. Sistemas formales, lógica y lenguajes de programación -- 3. De la demostración automática a la programación lógica (I): introducción y métodos semánticos -- 4. De la demostración automática a la programación lógica (II): el principio de resolución de Robinson -- Programación lógica II: 5. Programación lógica -- 6. El lenguaje prolog: Introducción -- 7. El lenguaje prolog: Aspectos avanzados -- Aplicaciones de la programación lógica: 8. Representación del conocimiento -- 9. Resolución de problemas -- 10. Programación lógica y tecnología software rigurosa.
9788483223680
Lógica simbólica
Lógica matemática
005.131 / J945 2007