Normal view MARC view ISBD view

Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo

Julián Iranzo, Pascual.
Contributor(s): Alpuente Frasnedo, María.
Material type: materialTypeLabelBook; Format: print Publisher: Madrid : Pearson Educación, 2007Description: XXVI, 470 p. ; 25 cm.ISBN: 84-8322-368-6.Subject(s): Prolog (Lenguaje de programación) | Programación lógica
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Home library Call number Status Loan Date due Barcode Item holds
Manuales (7 días) 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3.06PRO/JUL/pro (Browse shelf) Available   Shelving location | Bibliomaps® MANUAL 3742743553
Manuales (7 días) 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3.06PRO/JUL/pro (Browse shelf) Available   Shelving location | Bibliomaps® MANUAL 3742743491
Total holds: 0

Índice

Bibliografía: p. [453]-463

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.

Índice: Una panorámica de la Programación Declarativa. I FUNDAMENTOS. Sistemas Formales, lógica y Lenguajes de Programación. De la Demostración Automática a la Programación Lógica (I): introducción y métodos semánticos De la Demostración Automática a la Programación Lógica (II): el principio de resolución de Robinson. II PROGRAMACION LOGICA Programación Lógica El lenguaje Prolog: Introducción. El lenguaje Prolog: Aspectos Avanzados III APLICACIONES de la PROGRAMACION LOGICA. Representación del conocimiento. Resolución de problemas Programación Lógica y Tecnología Software Rigurosa A. Fundamentos y Notaciones matemáticas.

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha