La teoría de la informática incluye áreas de la matemática discreta relevante a la computación.