| 000 | 01460caa a2200325 i 4500 | ||
|---|---|---|---|
| 999 |
_c59910 _d59910 |
||
| 005 | 20200422153220.0 | ||
| 008 | 160128s2012 ck a g |||| 001 0dspa d | ||
| 020 | _a9789588782157 | ||
| 040 |
_aCo-BrCUA _bspa _erda |
||
| 041 | 0 | _aspa | |
| 082 | 0 | 4 |
_221 _a004.0151 _bB389 2012 |
| 100 | 1 |
_aBecerra Correa, Nelson _913571 |
|
| 245 | 1 | 0 |
_aConceptos elementales de lógica informática / _cNelson Becerra Correa. |
| 250 | _aPrimera editorial | ||
| 264 | 1 |
_aBogotá : _bEcoe ediciones, _bUniversidad Distrital Francisco José de Caldas, _c2012. |
|
| 300 |
_a198 páginas : _bilustraciones ; _c23 cm. |
||
| 336 |
_2rdacontent _atexto |
||
| 337 |
_2rdamedia _asin medio |
||
| 338 |
_2rdacarrier _avolumen |
||
| 500 | _aIncluye índice de figuras en la página 11 | ||
| 500 | _aIncluye índice de cuadros en la página 13 | ||
| 500 | _aIncluye índice alfabético en la página 191 | ||
| 504 | _aIncluye referencias bibliográficas en la página 193 | ||
| 505 | 0 | _a1. Conceptos generales de la lógica -- 2. Lógica proposicional -- 3. Lógica predicados -- 4. Procedimiento de prueba de lógica predicados -- 5. Deducción natural -- 6. Técnicas resolución SAT | |
| 650 | 1 | 7 |
_2LEMB _913572 _aInformática - matemáticas |
| 650 | 1 | 7 |
_2LEMB _91187 _aLógica simbólica y matemática |
| 650 | 1 | 7 |
_2LEMB _913573 _aLógica (informática) |
| 650 | 1 | 7 |
_2LEMB _913574 _aCálculo proposicional |
| 942 |
_2ddc _cBK _h004.0151 _iB389 2012 |
||