Die Studierenden verstehen die Grundlagen diskreter Modellierung anhand formaler Sprachen, Automatentheorie und formaler Logik. Die Studierenden haben ein grundlegendes Verständnis für die Grenzen dessen, was maschinell und automatisiert lösbar ist. Sie können die Entscheidbarkeit formaler Probleme erkennen. Sie besitzen ein grundlegendes Verständnis von effizienten Berechnungen und können formale Probleme entsprechend klassifizieren. Sie kennen die grundlegenden Verfahren zur Behandlung formaler Probleme auf diesen Gebieten und verfügen über die Fähigkeit zur Anwendung in der Informatik.