SIBU - SISTEMAS DE BIBLIOTECAS UNICOC

Vista normal Vista MARC Vista ISBD

Iranzo Pascual, Julián

Programación lógica : Teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo - 1 Ed. - España : Pearson , 2007 - 498 páginas Ilustraciones, diagramas, tablas, gráficas

Incluye Índice y Bibliografía

CAPÍTULO 1 Una Panorámica de la Programación Declarativa. -- Parte I. Fundamentos: sistemas formales, lógica y lenguajes de programación. -- CAPÍTULO 2 Sistemas Formales, Lógica y Lenguajes de Programación. -- CAPÍTULO 3 De la Demostración Automática a la Programación Lógica (I): introducción y métodos semánticos. -- CAPÍTULO 4 De la Demostración Automática a la Programación Lógica (II): el principio de resolución de Robinson. -- Parte II. Programación lógica. -- CAPÍTULO 5 Programación Lógica. -- CAPÍTULO 6 El Lenguaje Prolog: Introducción. -- CAPÍTULO 7 El Lenguaje Prolog: Aspectos Avanzados. -- Parte III. Aplicaciones de la programación lógica. -- CAPÍTULO 8 Representación del conocimiento. -- CAPÍTULO 9 Resolución de problemas. -- CAPÍTULO 10 Programación Lógica y Tecnología Software Rigurosa. -- Apéndice: Fundamentos y notaciones matemáticas.




Español

ISBN: 9788483223680

Subjects--Topical Terms:
Programación
Estructura de datos
Algoritmos
Variables, constantes y operadores

Index Terms--Curriculum Objective:
Programa de Ingeniería de Sistemas

Dewey Class. No.: 005.115