000 | 01329caa a2200325 i 4500 | ||
---|---|---|---|
999 |
_c59908 _d59908 |
||
005 | 20200422154417.0 | ||
008 | 160202s2010 ck ||||g |||| 001 0dspa d | ||
020 | _a9789587410754 | ||
040 |
_aCo-BrCUA _bspa _erda |
||
041 | 0 | _aspa | |
082 | 0 | 4 |
_221 _a004.0151 _bG984 2010 |
100 | 1 |
_aGutiérrez García, Ismael _913684 |
|
245 | 1 | 0 |
_aMatemáticas para informática / _cIsmael Gutiérrez García. |
250 | _aPrimera edición | ||
264 | 1 |
_aBarranquilla : _bEdiciones Uninorte, _c2010. |
|
300 |
_ax, 188 páginas ; _c24 cm. |
||
336 |
_2rdacontent _atexto |
||
337 |
_2rdamedia _asin medio |
||
338 |
_2rdacarrier _avolumen |
||
500 | _aIncluye alfabeto griego en la página 179 | ||
500 | _aIncluye índice de nombres en la página 183 | ||
500 | _aIncluye índice alfabético en la página 185 | ||
504 | _aIncluye referencias bibliográficas en la página 181 | ||
505 | 0 | _aParte I. Lógica matemática: 1. Cálculo proposicional -- 2. Introducción a la lógica de primer orden -- | |
505 | 0 | _aParte II. Teoría de conjuntos: 3. El sistema axiomático ZF | |
650 | 1 | 7 |
_2LEMB _913681 _aComputadores matemáticas |
650 | 1 | 7 |
_2LEMB _91187 _aLógica simbólica y matemática |
650 | 1 | 7 |
_2LEMB _96752 _aTeoría de conjuntos |
942 |
_2ddc _cBK _h004.0151 _iG984 2010 _02 |