| 000 | 00861nam a2200169Ia 4500 | ||
|---|---|---|---|
| 005 | 20160801151635.0 | ||
| 008 | 160422e2008 sp d 000 0 s d | ||
| 020 | _a978-84-8322-454-0 | ||
| 040 | _aB-IKIAM | ||
| 082 |
_a511.3 _bL832 |
||
| 245 |
_aLógica Matemática para Informáticos _bEjercicios Resueltos _cHortalá González, Teresa; Martí Oliet, Narciso; Palomino Tarjuelo, Miguel; Rodríguez Artalejo, Mario y Vírseda, Rafael del Vado |
||
| 260 |
_aMadrid _bPearson _c2008 |
||
| 300 |
_a390 P. _bgraf. _c27 cm. |
||
| 505 | _aSintaxis y Semántica - Formaliación. Técnicas de Razonamiento - Equivalencia Lógica. Leyes Booleanas - Cálculo Lógico con Tableaux - Lógica de Primer Orden - Cálculo Lógico con Resolución - Ejercicios Propuestos | ||
| 650 | _aINFORMÁTICA \\ LÓGICA MATEMÁTICAÌ | ||
| 942 |
_2ddc _aB-IKIAM _b01-08-2016 _cBK _zBety Vasco |
||
| 999 |
_c1195 _d1195 |
||