| 000 | 01310nam a2200253 a 4500 | ||
|---|---|---|---|
| 005 | 20231123111547.0 | ||
| 008 | 190827s2019 ck ad||| |||| 00| 0 spa d | ||
| 020 | _a9789588957869 | ||
| 040 |
_aCO-BoUGC _cCO-BoUGC _d22 |
||
| 041 | 0 | _aspa | |
| 082 | 0 | 4 |
_a510 _bB171l _221 |
| 100 | 1 | _aBárbosa Gutiérrez, Fidel | |
| 245 | 1 | 0 |
_aLógica y matemática _bPara ciencias de la computación _cFidel Bárbosa Gutiérrez |
| 250 | _a2a edición | ||
| 260 | 3 |
_aBogotá _bUniversidad Piloto de Colombia _c2019 |
|
| 300 |
_axvii, 514 paginas _bilustraciones, tablas _c24 cm |
||
| 505 | 0 | _a1. Elementos de teoría de conjuntos ; 2. Relaciones y funciones ; 3. Cálculo de proposiciones ; 4. Inferencia lógica ; 5. Cálculo de predicados ; 6. Algebra de Boole ; 7. Matemáticas y algoritmos | |
| 520 | 1 | _aEste libro presenta un panorama introductorio de la lógica y de las matemáticas que aparecen regularmente en los primeros semestres que aparecen regularmente en los primeros semestres en los currículos universitarios para las carreras de Ingeniería de Sistemas y Ciencia de la Computación | |
| 650 | 1 | 7 |
_aLogica matematica _2LEMB _985010 |
| 650 | 1 | 7 |
_aCálculo proposicional _2ARMARC _970293 |
| 650 | 1 | 7 |
_aLógica simbólica y matemática _2ARMARC |
| 650 | 2 | 7 |
_aÁlgebra _2LEMB |
| 942 |
_2ddc _cPRE _n0 |
||
| 999 |
_c198596 _d198596 |
||