Die Studierenden kennen die grundlegenden Konzepte der Mengenlehre, der Logik und der diskreten Mathematik. Sie sind in der Lage zu abstrahieren und haben die Rolle der Logik als Sprache zur exakten Formalisierung praktischer Aufgabenstellungen verstanden.
Sie können Mengen, Relationen, Abbildungen und algebraische Strukturen, insbesondere Graphen, zur Modellierung praktischer Aufgabenstellungen anwenden und beherrschen grundlegende zahlentheoretische Methoden.
Sie kennen die Grundbegriffe der klassischen Aussagen- und Prädikatenlogik und Anwendungen dieser Logiken in der technischen, praktischen und angewandten Informatik. Sie können die klassische Aussagen- und Prädikatenlogik zur Modellierung und Lösung praktischer Aufgaben anwenden und wissen, dass viele, aber nicht alle logisch formalisierbaren Probleme algorithmisch lösbar sind.