Die diskrete Mathematik gehört zu denjenigen mathematischen Teildisziplinen mit den stärksten Bezügen zur Informatik. Die Abteilung befasst sich sowohl mit algebraisch orientierten Gebieten der diskreten Mathematik (z. B. Theorie der endlichen Gruppen) als auch mit solchen geometrisch-kombinatorischer Natur (z. B. Designtheorie) und deren Anwendungen in der Kryptologie, Codierungstheorie, Komplexitätstheorie und der Theorie formaler Sprachen. Neben Forschung und Lehre in diesen Bereichen trägt die Abteilung auch zu einem wesentlichen Teil die mathematische Grundausbildung der Studierenden in den informatischen Studiengängen.