000			02077cam a2200241 4500
999			_c23183 _d23183
005			20250301214218.0
082			_a005.131 _bL424l
090			_aCOLECCION GENERAL
020			_a9786077854333
041	0		_aesp
100	1		_aLedesma, Luis de
245	1		_aLógica para la computación : _bteorías de primer orden, resolución y elementos de programación lógica y Prolog. / _cLuis de Ledesma
250			_a1°
260			_bAlfaomega _c2010 _aMéxico, mx
300			_a177 P. _b, tablas
520			_a 177TEORÍAS DE PRIMER ORDEN. LENGUAJES DE PRIMER ORDEN. EL SISTEMA FORMAL TEORÍAS DE PRIMER ORDEN. META 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. CLÁUSULAS DE HORN. 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 PROCEDIMIENTOS BASADOS EN EL TEOREMA DE HERBRAND. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. REFINAMIENTO Y ESTRATEGIAS 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. DEFINICIONES Y DEMOSTRACIONES INDUCTIVAS. DEFINICIONES INDUCTIVAS. DEMOSTRACIONES INDUCTIVAS. ADECUACIÓN DE LAS TABLAS ANALÍTICAS. CONSIDERACIONES ELEMENTALES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CON LENGUAJES DE PRIMER ORDEN. PREPARACIÓN.
650	0	7	_aCOMPUTACION
650	0	7	_aPROGRAMACION
650	0	7	_aCOMPUTACION GENERAL
650	0	7	_aELEMENTOS DE PROGRAMACION.
653			_aCOMPUTACION; PROGRAMACION; COMPUTACION GENERAL; ELEMENTOS DE PROGRAMACION.
942			_2ddc _cBK