Esta área cubre las matemáticas de estructuras finitas y numerables, incluyendo la enumeración combinatoria, la teoría de grafos, la optimización discreta y los fundamentos lógicos de las matemáticas. Sustenta la informática teórica, la investigación de operaciones y la ciencia de datos moderna.