Programación Lógica: Teoría y Práctica - Pascual Julián Iranzo & María Alpuente [pdf]

Programación Lógica: Teoría y Práctica - Pascual Julián Iranzo & María Alpuente [pdf]

 

Contenido:

1.- Una panorámica de la programación declarativa.

I. FUNDAMENTOS.

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.

II. PROGRAMACIÓN LÓGICA.

5.- Programación lógica.
6.- El lenguaje Prolog: introducción.
7.- El lenguaje Prolog: aspectos avanzados.

III. 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.

A. Fundamentos y Notaciones Matemáticas.

DATOS TÉCNICOS:
Formato: .pdf
Compresión: .rar
Paginas: 496
Peso: 55.9 Mb
Idioma: Español
pass: http://elblogdevaneza.blogspot.com/