Lógica para la computación. Teorías de primer orden, resolución y elementos de programación lógica y prolog.
- México Alfaomega 2010
- 177 páginas; fig, tablas;
1. Teoría de primer orden. - Lenguajes de primer orden, - El sistema formal teorías de primer orden, - Metas teoremas. Reglas y teoremas derivados, - El cálculo de tablas analíticas, - Definiciones y utilización, - Aplicación, - Semántica, - Estructuras, - Significado de expresiones, - Validez, - Completud, Consistencia y Decidibilidad, - La lógica de proposiciones, - Sintaxis, - Semántica, - Clausulas de Horn, 2. Resolución, - Reducción a un conjunto de cláusulas, - Formas prenex, - Formas de Skolem, - Supresión de cuantificadores universales, - Reducción a un conjunto de cláusulas, - Unificación, - Resolución y teoría de HERBRAND, - Principio de resolución, - Corrección, - teoría de Herbrand, - Completud, - Algunos procedimiento basados en el teorema de HERBRAND, 3. Elementos de programación lógica y prolog, - Refinamiento y estrategia de la resolución, - La resolución SLD, - Utilización de la resolución SLD y otros refinamientos, - PROLOG, - La resolución PROLOG, - Búsqueda en profundidad, - Búsqueda en anchura, - Las ramas infinitas, - La vuelta atrás, - Predicados y funciones de la implementación, ÍNDICE
9786077854333
Programación Lógica Lógica para Computación Informática Prolog