Latest Movie :

Programación lógica. Teoría y práctica - Pascual Julián Iranzo & María Alpuente

Este libro tiene por objeto introducir a los estudiantes de Ingeniería Informática en los fundamentos y las principales técnicas desarrolladas en el campo de la Programación Lógica. Específicamente, la obra va dirigida a alumnos de segundo o tercer curso de Ingeniería en Informática que sigan un curso de Programación Declarativa, o más específicamente uno de Programación Lógica.

El libro es apropiado para estudiantes de Ingeniería Informática o para programadores que quieran conocer las aplicaciones prácticas de la programación lógica. La principal característica distintiva de este libro es la de aunar, en un mismo texto, tanto los fundamentos teóricos como la práctica de la programación lógica.

Tabla de Contenido:  [495 Pág.]
  • 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.
Captura:

Enlace de Descarga:   [33.4 MB]
*Mega:              OPCION 1 |  OPCION 2  | OPCION 3





Share this article :

+ comentarios + 2 comentarios

27 de mayo de 2016, 14:24

Enlaces caidos!

18 de julio de 2016, 14:23

Caidos

Publicar un comentario

 
Support : Creating Website | Adictec Perú | Ing. Alexis Llontop
Copyright © 2015. Download Xynior - All Rights Reserved
Template Created by Creating Website Published by Mas Template
Proudly powered by Blogger