Esplora le strutture matematiche fondamentalmente discrete piuttosto che continue, fornendo i mattoni essenziali per l'informatica. Argomenti chiave includono la teoria degli insiemi, la logica, la teoria dei grafi e la teoria dei numeri (inclusa l'aritmetica modulare e i numeri primi). Questi concetti sono fondamentali per la progettazione di algoritmi, strutture dati e sistemi crittografici.