Die Studierenden kennen die grundlegenden Konzepte der Mengenlehre, insbesondere von Zahlensystemen und der Logik. 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 zur Modellierung praktischer Aufgabenstellungen anwenden und beherrschen grundlegende zahlentheoretische Methoden.

Sie kennen die Grundbegriffe der klassischen Aussagenlogik und Anwendungen der Booleschen Aussagenalgebra und Mengenalgebra in der technischen, praktischen und angewandten Informatik. Sie können die klassische Aussagenlogik zur Modellierung und Lösung praktischer Aufgaben im Bereich digitaler Systeme anwenden.