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 |