Las matemáticas discretas estudian los conjuntos discretos (finitos o infinitos numerables), estructuras cuyos elementos pueden contarse uno por uno separadamente. Es decir, los procesos son contables, por ejemplo, los números enteros, grafos y sentencias de la lógica, además constituye la base de todo lo relacionado con los números naturales y/o conjuntos numerables. Son fundamentales para la ciencia de la computación, por ser computables las funciones de los conjuntos numerables.
