TY - BOOK AU - Bohórquez Villamizar, Jaime Alejandro TI - Lógica y matemática discreta en la informática: El estilo calculatorio / Jaime Alejandro Bohórquez Villamizar U1 - 511.3 B635l CY - Bogotá: Escuela Colombiana de Ingieniería KW - LÓGICA SIMBÓLICA 2.LÓGICA MATEMÁTICA 3.SUSESIONES (MATEMÁTICAS) 4.TEORÍA DE CONJUNTOS 5.ARITMÉTICA 6.ANÁLISIS COMBINATORIO 7.COMPUTADORES - MEDIOS MATEMATICOS.Ì ER -