| 000 | 01581cam a22003617i 4500 | ||
|---|---|---|---|
| 005 | 20240112102527.0 | ||
| 008 | 151230b2008 sp||||| |||| 00| 0 sspad | ||
| 020 | _a9788483224540 | ||
| 040 |
_aUnae _bspa _erda |
||
| 041 | 0 | _aspa | |
| 044 | _asp | ||
| 082 | 0 |
_a511.3 _bH788 |
|
| 100 | 1 |
_aHortalá González, Teresa _93227 _eAutor(a) |
|
| 245 |
_aLógica matemática para informáticos: _bejercicios resueltos _cPor Teresa Hortalá González [y otros dos] |
||
| 250 | _a1a edición | ||
| 264 | 1 |
_aMadrid: _bPearson, _c2008. |
|
| 300 |
_a400 páginas: _bGraf _c27 cm. |
||
| 336 |
_2rdacontent _atexto _btxt |
||
| 337 |
_2rdamedia _ano mediado _bn |
||
| 338 |
_2rdacarrier _avolumen _bnc |
||
| 504 | _aIncluye Bibliografía | ||
| 505 | 1 | _aLógica proposicional. — Formalización, técnicas de razonamiento. — Leyes booleanas. — Cálculo lógico con tableux. — Sintaxis y semántica. — Leyes de cuantificadores. — Cálculo lógico con resolución. — Ejercicios propuestos | |
| 520 | 3 | _aEl objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática. | |
| 650 |
_aLógica matemática _93228 |
||
| 650 |
_aMatemático _922882 |
||
| 650 |
_93229 _aLógica |
||
| 653 | _aCálculo lógico | ||
| 653 | _aTécnicas de razonamiento | ||
| 700 | 1 |
_aMartí Oliet, Narciso _93232 _eAutor(a) |
|
| 700 | 1 |
_aPalomino Tarjuelo Miguel _93233 _eAutor(a) |
|
| 856 | _uhttp://sgi-ab.unae.edu.ec/libros/01-001898.html | ||
| 942 |
_2ddc _cBK _zdm |
||
| 999 |
_c1008 _d1008 |
||