Am Freitag dem 05. April ab 13:15 findet im Raum P410 (4. Stock Paulinum) ein Einsichtstermin statt, an dem in die Erstklausur sowie auch in die Nachklausur Einsicht genommen werden kann.

Die Nachklausur findet am Freitag dem 22. März von 11:00 bis 12:00 im Hörsaal 9 statt.

Die Klausureinsicht findet am Freitag, dem 08. März, von 13:00 bis 16:00 im Raum P410 (4. Stock Paulinum) statt.

Die Klausur findet am Freitag dem 22. Februar 2019 von 10:00 bis 11:00 in den Hörsälen 3, 9 und dem Audimax statt.
Die Aufteilung in die Hörsäle erfolgt nach dem ersten Buchstaben des Familiennamens wie folgt.

Audimax		Nachnamen A – J
Hörsaal 9		Nachnamen K – Q
Hörsaal 3		Nachnamen R – Z

Hier klicken

In der Vorlesung werden grundlegende Begriffe und Konzepte aus der diskreten Mathematik, das Erlernen von mathematischen Beweismethoden sowie die Anwendung dieser Techniken auf diskrete Strukturen in der Informatik vermittelt. Zu den behandelten Themen gehören:

•	Mengen, Relationen, Funktionen
•	Beweise mittels Induktion
•	Grundlagen der Aussagenlogik
•	relationale und algebraische Strukturen, Gruppen, Ringe, Körper, Boole'sche Algebren
•	Grundlagen der Graphentheorie
•	geordnete Strukturen und Fixpunktsätze
•	Anwendungen dieser Konzepte in der Informatik

Vorlesung: (Andreas Maletti) Dienstag 17:15 - 18:45, Audimax (ab 16.10.)

• Hörsaalübung:	Montag	09:15 - 10:45 (A-Woche),	HS 7	(ab 05.11.)	Schulze
• Übung a:	Mittwoch	07:30 - 09:00 (A-Woche),	SG 3-11	(ab 24.10.)	Böhm
• Übung b:	Mittwoch	13:15 - 14:45 (A-Woche),	SG 3-11	(ab 24.10.)	Böhm
• Übung c:	Mittwoch	13:15 - 14:45 (A-Woche),	SG 3-13	(ab 24.10.)	Paul
• Übung d:	Donnerstag	07:30 - 09:00 (A-Woche),	SG 3-13	(ab 25.10.)	Böhm
• Übung e:	Donnerstag	11:15 - 12:45 (A-Woche),	SG 3-11	(ab 25.10.)	Böhm
• Übung f:	Donnerstag	11:15 - 12:45 (A-Woche),	SG 3-13	(ab 25.10.)	Rosenkranz
• Übung g:	Freitag	09:15 - 10:45 (A-Woche),	SG 3-11	(ab 26.10.)	Paul
• Übung h:	Freitag	09:15 - 10:45 (A-Woche),	SG 3-13	(ab 26.10.)	Schulze
• Übung i:	Freitag	13:15 - 14:45 (A-Woche),	SG 3-11	(ab 26.10.)	Rosenkranz
• Übung j:	Freitag	13:15 - 14:45 (A-Woche),	SG 3-13	(ab 26.10.)	Paul
• Übung k:	Freitag	15:15 - 16:45 (A-Woche),	SG 3-11	(ab 26.10.)	Paul

A-Wochen: ab Montag	22.10.	05.11.	19.11.	03.12.	17.12.	14.01.	28.01.
B-Wochen: ab Montag	29.10.	12.11.	26.11.	10.12.	07.01.	21.01.	04.02.

Serie	Thema	Abgabe
Serie 1	Aussagen- und Prädikatenlogik	30.10.18
Serie 2	Naive Mengenlehre und Relationen	13.11.18
Serie 3	Abbildungen, Äquivalenz- und Ordnungsrelationen	27.11.18
Serie 4	Kardinalität und Fixpunkte	11.12.18
Serie 5	Verbände und Boolesche Algebren	08.01.19
Bonus 1	Fakultative Bonusaufgaben	15.01.19
Serie 6	Gruppen, Körper und Graphen	22.01.19
Bonus 2	Fakultative Bonusaufgaben	29.01.19

Die Hausaufgaben sind zu bearbeiten und schriftlich abzugeben. Die Seminaraufgaben werden in den Übungen besprochen und müssen nicht vorher bearbeitet werden.

Abgabe am Abgabetermin entweder in der Vorlesung vor Vorlesungsbeginn oder vor Vorlesungsbeginn im Briefkasten 'Diskrete Strukturen' (Poststelle im Augusteum, Raum A514, 5. Etage)

Hier klicken

Vorlesung	Thema	Datum
01	Aussagenlogik	16.10.18
02	Aussagen- und Prädikatenlogik	23.10.18
03	Naive Mengenlehre	30.10.18
04	Potenzmengen, Induktion und Relationen	06.11.18
05	Äquivalenzrelationen und Funktionen	13.11.18
06	Funktionen und Auswahlaxiom	20.11.18
07	Fixpunkte und Kardinalität	27.11.18
08	Kardinalitäten und Verbände	04.12.18
09	Algebraische Strukturen und Verbände	11.12.18
10	Boolesche Algebren und Gruppen	18.12.18
11	Körper	08.01.19
12	Graphen — Grundlagen	15.01.19
13	Planarität und Färbbarkeit von Graphen	22.01.19
14	Färbbarkeit und Matchings von Graphen	29.01.19
15	Arithmetik	05.02.19