WiSe 2014/15













Submodule number Course Type Name ECTS SWS / Exam duration
0088cA.1.2.1 Lecture Logic and Discrete Mathematics for Teaching 0 4.0
0088cA.1.2.2 Practice seminar Logic and Discrete Mathematics for Teaching 0 2.0
0088cA.1.2.3 Module exam Logic and Discrete Mathematics for Teaching 10 0 min
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