Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo
Tipo de material: TextoDetalles de publicación: Madrid : Pearson Educación, 2007 Descripción: XXVI, 470 p. ; 25 cmISBN: 84-8322-368-6Tema(s): Prolog (Lenguaje de programación) | Programación lógicaResumen: 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.Resumen: Í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.Tipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Manuales | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3.06PRO/JUL/pro (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3742743553 | ||
Manuales | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3.06PRO/JUL/pro (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3742743491 |
Navegando 03. BIBLIOTECA INGENIERÍA PUERTO REAL Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
681.3.06PRO/COV/nat Natural language processing for Prolog programmers / Michael A. Covington | 681.3.06PRO/COV/nat Natural language processing for Prolog programmers / Michael A. Covington | 681.3.06PRO/GAZ/nat Natural language processing in Prolog : an introduction to computational linguistics / Gerald Gazdar, Chris Mellish | 681.3.06PRO/JUL/pro Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo | 681.3.06PRO/JUL/pro Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo | 681.3.06PRO/KLU/pro Prolog for programmers / by Feliks Kluzniak and Stanislaw Szpakowicz. | 681.3.06PRO/OKE/cra The craft of prolog / Richard A. O'Keefe |
Í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.
No hay comentarios en este titulo.