000			01113nam a22002057a 4500
003			OSt
005			20230421112109.0
007			ta
008			230421b xxu |||||||| |||| 00| 0 eng d
020			_a978-958-8726-04-5
040			_aUNAJMA _bspa _cEPIS
082			_a511.3 _bB677
100			_aBohórquez Villamizar, Jaime Alejandro _98199
245			_aLógica y Matemáticas Discretas en la Informática _bEl estilo calculatorio
250			_a1a ed.
260			_aBogotá, Colombia _bEscuela Colombiana de Ingeniería Julio Garavito _c2012
300			_a440 _c17 cm
505			_aSintaxis -- Sistemas formales -- Lógica posicional -- Semántica de la lógica proposicional -- Extensiones y afinamiento de 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 combinatorio -- Relaciones MAtemáticas -- Inducción estructural
942			_2ddc _cLIB
999			_c13086 _d13066