Este curso comprende conocimientos sobre los conjuntos discretos, finitos o infinitos numerables.

Constituye la base de conocimientos sobre lógica, conjuntos, relaciones y funciones así como grafos y árboles.

Permite al alumno reconocer conocimientos previos y aprenda nuevos, mismos que le serán útiles en otras materias como lo son Estructuras de Datos y Programación Estructurada.