Kursansicht

Logik und Diskrete Mathematik

LV: 19300901

a.SAP verarbeitet

4 SWS

Wolfgang Mulzer

Vorlesung

Akt: 15.01.2021 14:23

Mi, 08:00 - 10:00 (Virtueller Raum 01)

Mo, 08:00 - 10:00 (Virtueller Raum 01)

Beschreibung

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

Literatur

Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5. Auflage 2000
Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004

Zusätzliche Termine

Klausur

Virtueller Raum 01

Wolfgang Mulzer

01.03.2021 10:00 - 12:00

Nachklausur

Virtueller Raum 01

Wolfgang Mulzer

09.04.2021 10:00 - 12:00

Terminserien

Virtueller Raum 01

Wolfgang Mulzer

wöchentlich, ab 04.11.2020, 08:00 - 10:00 (15 Termine)

Virtueller Raum 01

Wolfgang Mulzer

wöchentlich, ab 02.11.2020, 08:00 - 10:00 (15 Termine)