TY - GEN AU - Bohorquez Villamizar,Jaime Alejandro AU - Rocha Niño,Hernan Camilo TI - Matemáticas discretas en la informática: el estilo calculativo de E.W.Dijkstra U1 - 511.3/B646 PY - 2006/// CY - Bogotá PB - Escuela Colombiana De Ingeniería KW - Matemáticas discretas N1 - Fundamentos de lenguaje matematico. Cap.1 Lógica de predicados e iteraciones. Cap.2 Conjuntos y conteo. Cap.3 Aritmética. Cap.4 Teoría de relaciones. Cap.5 ER -