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

Saved in:

Bibliographic Details
Main Author:	Iranzo, Pascual Julián
Other Authors:	Alpuente Frasnedo, María
Format:	Book
Language:	Spanish
Published:	Madrid : Pearson Educación, 2007.
Subjects:	Programación (Computadores electrónicos) > Fundamentos Lenguajes de programación (Computadores electrónicos) Programación estructurada
Notas Contenido:	Una panorámica de la programación declarativa Sistemas formales, lógica y lenguajes de programación De la demostración automática a la programación lógica: introducción y métodos semánticos El principio de resolución de Robinson Programación lógica El lenguaje prolog: introducción El lenguaje prolog: aspectos avanzados Representación del conocimiento Resolución de problemas Programación lógica y tecnología software rigurosa Fundamentos y notaciones matemáticas

Table of Contents:

Una panorámica de la programación declarativa
Sistemas formales, lógica y lenguajes de programación
De la demostración automática a la programación lógica: introducción y métodos semánticos
El principio de resolución de Robinson
Programación lógica
El lenguaje prolog: introducción
El lenguaje prolog: aspectos avanzados
Representación del conocimiento
Resolución de problemas
Programación lógica y tecnología software rigurosa
Fundamentos y notaciones matemáticas

Similar Items