000			01301cam a22002297a 4500
001			000011087
005			20220825155517.0
006			a|||||r|||| 00| 0
007			ta
008			220630t2012 ck ||||| |||| 00| 0 spa d
020			_a978-958-8726-05-2
082			_a519.4
100			_aBohórquez Villamizar, Jaime Alejandro _9271 _eautor
245			_aLógica y matemáticas discretas en la informática : _bel estilo calculatorio
260			_aBogotá : _bEscuela Colombiana de Ingeniería , _c2012.
300			_ax, 440 p. ; _c24 cm.
490			_aColección de informática
505			_aSintaxis -- Sistemas formales -- Lógica proposicional -- Semántica de la lógica proposicional -- Extensiones y afinamiento del cálculo -- Cálculo de predicados -- La lógica como lenguaje para modelar -- Operatorias -- Teoría de sucesiones -- Una teoría de la programación -- Teoría de conjuntos -- Conceptos de relación y función -- Cardinalidad e Inducción sobre conjuntos -- Aritmética aditiva -- Aritmética multiplicativa -- Análisis Combinatorios -- Relaciones matemáticas -- Inducción estructural.
650		0	_aLógica simbólica y matemática _xEstudio y enseñanza _95942
650		0	_aCombinaciones (Matemáticas) _xEstudio y enseñanza _95943
942			_cLIB _e30/06/2022 _zjbv
999			_c266 _d266