000 | 01284nam a2200205 4500 | ||
---|---|---|---|
020 | _a9786076077854333 | ||
050 | _a005.1 D377l | ||
082 | _a005.36 H714s | ||
100 | _aDe Ledesma, Luis. | ||
240 | _aLógica para la Computación : Teorías de primer orden, resolución y elementos de programación lógica y PROLOG. | ||
245 |
_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. |
||
260 |
_aMéxico : _bAlfaomega - RaMa |
||
300 | _a177 p. | ||
500 |
_aCompra realizada en Octubre de 2010. Libreria El Aprendiz. _28.160. \ Incluye : Apéndices, Referencias e Índice Alfabético. \ Libro inventariado en Junio de 2014. \ |
||
505 | _aTeorías de primer orden. -- 1.2. El cáculo de tablas analíticas. -- 1.3. Semántica. -- 1.4. Completud, consistencia y decibilidad. -- 1.5. La lógica de proposiciones. -- 2. Resolución. -- 2.1. Reducción a un conjunto de claúsulas. -- 2.2. Unificación. -- 2.3. Resolución y teoría de Herbrand. -- 3. Elementos de programación Lógica y Prolog. -- 3.1. Refinamiento y estrategias de la resolución. -- 3.2. Prolog. | ||
008 | 141112s2010 mx r 000 u spa00 | ||
003 | 20140708 19 : 24 : 17 | ||
942 |
_2ddc _cBK |
||
001 | 798 | ||
999 |
_c784 _d784 |