| 000 | 01358ntdaa2200313 ab4500 | ||
|---|---|---|---|
| 999 |
_c814 _d814 |
||
| 003 | UnInEc | ||
| 005 | 20180815161258.0 | ||
| 006 | a||||g ||i| 00| 0 | ||
| 008 | 140501s9999 mx ||||f |||| 00| 0 spa d | ||
| 020 | _a9788483224540 | ||
| 040 | _aCIBESPAM MFL | ||
| 041 | _aspa. | ||
| 082 |
_a511.3 _bH821 _c2008 |
||
| 100 | _aHortalá González, Teresa | ||
| 245 |
_aLógica matemática para informáticos. _bEjercicios resueltos. |
||
| 260 |
_aMadrid, España _bPearson Educación _c2008 |
||
| 300 |
_ax, 390 páginas; _bfig, tablas; _c195x270 mm |
||
| 505 | _aLógica proposicional. 1. Sintaxis matemática. 2. Formalización. Técnicas de razonamiento. 3. Equivalencia lógica. Leyes booleanas. 4. Cálculo lógico con tableaux. Lógica de Primer Orden. 5. Sintaxis y semántica. 6. Formalización. Técnicas de razonamiento. 7. Equivalencia lógica. Leyes de los cuantificadores. 8. Cálculo lógico con tableaux. 9. Cálculo lógico con resolución. 10. Ejercicios propuestos. | ||
| 650 | _aLógica Matemática | ||
| 650 | _aMatemáticas | ||
| 650 | _aFormalización | ||
| 650 | _aEquivalencia Lógica | ||
| 700 | _aMartí Oliet, Narciso | ||
| 700 | _aPalomino Tarjuelo, Miguel | ||
| 700 | _aRodríguez Artalejo, Mario | ||
| 700 | _aDel Vado Vírseda, Rafael | ||
| 913 |
_cMAT _aFNME _dGARNB |
||
| 942 |
_2ddc _cBK |
||