| 000 | 01393nam a2200241Ia 4500 | ||
|---|---|---|---|
| 999 |
_c8603 _d8603 |
||
| 001 | 12474 | ||
| 003 | SV-SsUGB | ||
| 005 | 20190411121640.0 | ||
| 008 | 180402s2009||||es |||||||||||||| ||spa|| | ||
| 020 | _a9786077854333 | ||
| 040 |
_aUGB _cUGB |
||
| 041 | 0 | _aspa | |
| 082 | 4 |
_a511.3 _bL434 |
|
| 100 | 1 |
_aLedesma, Luis De _eAutor _92888 |
|
| 245 | 1 | 0 |
_aLógica para la computación : _bteorias de primer orden, resolución y elementos de programación lógica y prolog / _cLuis De Ledesma |
| 250 | _a1a. ed. | ||
| 260 |
_aMéxico _bAlfaomega grupo editor _c2009 |
||
| 300 | _a180. p. | ||
| 520 | _aTEORIAS DE PRIMER ORDEN. Teorías de primer orden; El cálculo de tablas analíticas; Semántica; Completud, consistencia y decibilidad; Lógica de proposiciones. RESOLUCÍON. Reducción a un conjunto de cláusulas; Unificación; Resolución y teoría de Herbrand; Algunos procedimientos basados en el teorema de Herbrand. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. Refinamiento y estrategias de la resolución; Prolog; 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; Representación. | ||
| 542 | 1 |
_aLedesma, Luis De _g2009 _i2009 |
|
| 650 | 4 |
_a LÓGICA SIMBÓLICA _92889 |
|
| 650 | 4 |
_xLÓGICA MATEMÁTICAS _92890 |
|
| 700 | 1 |
_aLedesma, Luis De _92888 |
|
| 942 |
_cBK _2ddc |
||