Es una parte de las matemáticas que estudia objetos discretos, un objeto discreto puede ser una conjunto finito. entre los temas a desarrollar:
Códigos binarios, relaciones binarias,
lógica, teoría de
gráficas, arboles binarios, álgebra de Boole, máquinas de estado finito.