Qualifikationsziele: Die Studentinnen und Studenten kennen am Ende des Moduls grundlegende Konzepte der Logik, Mengenlehre und Kombinatorik. Sie können diese zur mathematischen Modellierung von Anwendungen in der Informatik anwenden. Sie sind in der Lage, mathematische Beweise nachzuvollziehen und im Kontext mit informatischen Problemstellungen einfache Beweise selbst zu entwickeln. Sie können abstrakt denken und einfache Sachverhalte in einer Logik formalisieren. Sie beherrschen grundlegende Konzepte der Diskreten Mathematik und können kombinatorische Techniken in der Praxis (z. B. bei Entwurf und Analyse von Algorithmen) anwenden.

Inhalte: Aussagenlogik und mathematische Beweistechniken - Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül - Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen - Natürliche Zahlen und vollständige Induktion, Abzählbarkeit - Prädikatenlogik und mathematische Strukturen - Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip, diskrete Wahrscheinlichkeitsverteilungen - Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume