TY - BOOK AU - Bohórquez Villamizar,Jaime TI - Lógica y matemáticas discretas de la informática: el estilo calculatorio SN - 978-958-8726-05-2 U1 - 5.131 PY - 2012/// CY - Bogotá PB - Escuela colombiana de ingenieria julio garavito KW - Lógica matemática,Aritmética,Computadores KW - INFORMATICA N1 - indice general,notas bibliográficas; Fundamentos del lenguaje matemático.--Lógica de predicados y operatorias.--Conjuntos,relaciones y funciones ER -