TY  - MANSCPT
AU  - De Ledesma, Luis
TI  - Lógica para la computación: Teorías de primer orden, resolución y elementos de programación lógica y prolog
SN  - 9786077854333
U1  - 005.115 
PY  - 2010///
CY  - México
PB  - Alfaomega
KW  - Programación Lógica
KW  - Lógica para Computación
KW  - Informática
KW  - Prolog
N1  - 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
ER  -