SoSe 2014













Submodulnummer Veranstaltungsform Name LP SWS / Prüfungsdauer
0086bA.4.1.1 Vorlesung Logik und Diskrete Mathematik 0 4.0
0086bA.4.1.2 Übung Logik und Diskrete Mathematik 0 2.0
0086bA.4.1.3 Modulprüfung Logik und Diskrete Mathematik 8 0 min
Qualifikationsziele: Die Studentinnen und Studenten verfügen über einen Einblick in die grundlegenden Konzepte der Logik, Mengenlehre und der Diskreten Mathematik. Sie sind in der Lage zu abstrahieren, Sachverhalte mathematisch auszudrücken und mit formalen mathematischen Ausdrücken zu arbeiten. Insbesondere haben Sie verstanden, was ein mathematischer Beweis ist, kennen verschiedene Beweistechniken und sind in der Lage, Beweise nachzuvollziehen bzw. einfache Beweise selbst zu führen.

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 – Graphentheorie: Graphen und ihre Darstellungen,Wege und Kreise in Graphen, Bäume.