Lógica y matemáticas discretas en la informática : el estilo calculatorio / Jaime Alejandro Bohórquez Villamizar
- 197 páginas ; 30 cm.
Incluye bibliografía
1. Fundamentos del lenguaje matemático. --2. Lógica de predicados y operatorias. --3. Conjuntos, relaciones y funciones. --4. Aritmética y combinatoria. --5. Teoría de relaciones.