Programación lógica: teoría y práctica – Pascual Julián Iranzo & María Alpuente

03

Descripción

La programación declarativa se basa en la idea de utilizar un cierto tipo de lógica como lenguaje de programación. Esto incluye tanto la programación lógica (o relacional, que usa un lenguaje clausal para programar y el principio de resolución como mecanismo de ejecución) como la funcional (que usa el lenguaje de las funciones matemáticas y la reducción de expresiones como mecanismo computacional).
Este libro aspira a desarrollar una presentación básica completa del paradigma de la programación lógica. Así, aunque se dedica una gran atención a los conceptos de base y se proporciona para ellos una formación en amplitud no exenta de profundidad, también se concede gran importancia a las aplicaciones prácticas.

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.

Información Técnica

Comprimido: Rar
Formato: PDF
Peso: 55.92 Mb
Servidores :   Mega – 1Fchier – Mediafire- Ul – Userscloud
Idioma: Español
Autor (s):  Pascual Julián Iranzo & María Alpuente.

boton-descargar-ahora

linkbucks--AViso

Comparte el Post

One thought on “Programación lógica: teoría y práctica – Pascual Julián Iranzo & María Alpuente

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *