AVISO LEGAL:
Los enlaces que figuran en esta web han sido encontrados en diferentes páginas. UNIVERSITAS LIBROS no almacena ningún tipo de vídeos, ni de imágenes, así que en este sitio no se hacen copias ilegales ni se daña o infringe ningún Copyright © ni Derechos de Autor. Todo lo aquí publicado fue encontrado en el World Wide Web, de Internet, así como lo encontrarías si usaras Google. Nosotros nos limitamos a decirte dónde está, nosotros no lo proveemos. Sólo te ahorramos la molestia de la búsqueda.

Para descargar dar click en el link correspondiente (saldrá una publicidad y luego de 5 segundos hacer click en "Skip ad" y listo !)

PROGRAMACIÓN LÓGICA TEORÍA Y PRÁCTICA

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 causal 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
2. Sistemas formales, lógica y l en g u ajes 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
5. Programación lógica
6. El lenguaje Prolog: Introducción
7. El lenguaje Prolog: Aspectos avanzados
8. Representación del conocimiento
9. Resolución de problemas
10. Programación lógica y tecnología Software rigurosa




Páginas : 495
Peso : 33mb.
Formato : PDF.
Edición : Primera
Año de Publicación :2007
ISBN : 978-84-8322-368-0
Editorial : Pearson
Autor: Pascual Julián Iranzo

Descargar | Download
| DEPOSITFILES | RAPIDGATOR | 4SHARED | FREAKSHARE | UPLOADSTATION |































LEER MAS Y DESCARGAR

GUIA PARA SER MILLONARIO

DESCARGAR AHORA - CLICK AQUI

GANA $ 10 DIARIOS - TE EXPLICO CÓMO - CLICK AQUI

No hay comentarios :

Publicar un comentario