000			01978ntdaa2200265 ab4500
999			_c1882 _d1882
003			UnInEc
005			20180803102229.0
006			a||||g ||i| 00| 0
008			140501s9999 mx ||||f |||| 00| 0 spa d
020			_a9786077854333
040			_aCIBESPAM MFL
041			_aspa.
082			_a005.115 _bL473 _c2010
100			_aDe Ledesma, Luis
245			_aLógica para la computación. _bTeorías de primer orden, resolución y elementos de programación lógica y prolog.
260			_aMéxico _bAlfaomega _c2010
300			_a177 páginas; _bfig, tablas;
505			_a1. 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
650			_aProgramación Lógica
650			_aLógica para Computación
650			_aInformática
650			_aProlog
913			_aTIC _bCC _dSCSAS
942			_2ddc _cBK