SIBU - SISTEMAS DE BIBLIOTECAS UNICOC
Programación lógica : Teoría y práctica
por Iranzo Pascual, Julián
; Alpuente Frasnedo, María.
Editor: España : Pearson , 2007Edición: 1 Ed.Descripción: 498 páginas Ilustraciones, diagramas, tablas, gráficas.ISBN: 9788483223680.Tema(s): Programación | Estructura de datos | Algoritmos | Variables, constantes y operadores | Programa de Ingeniería de SistemasRecursos en línea: Acceso online exclusivo para comunidad Unicoc. | Tipo de ítem | Ubicación | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ejemplares |
|---|---|---|---|---|---|---|---|
 Libro electrónico |
Bogotá (Dr. David Ordóñez Rueda) - Campus Norte
Campus Norte Biblioteca de la Institución Universitaria Colegios de Colombia |
Coleccion Online | 005.115 (Navegar estantería) | No para préstamo | Ebook10851 |
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.
Unicoc
Español
© 2014 UNICOC | Institución Universitaria Colegios de Colombia - UNICOC
Bogotá D.C. Autopista Norte Km. 20. Teléfono:(571)6683535
Cali: Calle 13 Norte No. 3N-13. Teléfono: (572)6608887