000 01541nam a2200301 a 4500
999 _c1745
_d1745
001 011568
003 1237
005 20230801162210.0
008 141211s2010 mx a fr 000 0 spa d
020 _a9786076077854333
040 _aCO-UCAC
_cCO-UCAC
041 _aspa
043 _amx
082 0 4 _a005.131
_cL473
100 1 _92601
_aLedesma, Luis de
245 1 0 _aLógica para la computación :
_bteoría de primer orden, resolución y elementos de programación lógica y Prolog /
_cLuis de Ledesma
264 _aMéxico :
_bAlfaomega,
_c2010.
300 _a177 p.
_f1
505 _aTeorías de primer orden. Cálculo de tablas analíticas. Semántica. Completud, consistencia y decidibilidad. La lógica de proposiciones. Resolución. Reducción a un conjunto de cláusulas. Unificación. Resolución y teoría de Herbrand. Elementos de programación lógica y Prolog. Refinamiento y estrategias de la resolución. Prolog. Apéndice A. Definiciones y demostraciones inductivas. Apéndice B. Adecuación de las tablas analíticas. Apéndice C. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden.
506 _aSistemas
650 0 7 _aLENGUAJES DE PROGRAMACION [COMPUTADORES ELECTRONICOS]
_9191465
650 0 7 _aLOGICA MATEMATICA
_92603
650 0 7 _aPROGRAMACION [MATEMATICAS]
_92604
650 0 7 _aPROLOG [LENGUAJE DE PROGRAMACION DE COMPUTADORES]
_92605
942 _2ddc
_cBK