Diskrete Strukturen WS 23/24
DISKRETE STRUKTUREN FÜR INFORMATIK
Behandelte Themen
- Naive Mengenlehre, Relationen und Funktionen, elementare Kombinatorik.
- Boolsche Funktionen und Aussagenlogik
- Modulorechnung und elementare Zahlentheorie.
- Graphen: Zusammenhang, Färbbarkeit, Bäume, der Satz von Menger, eulersche Graphen, Paarungen
- Äquivalenzrelationen: Äquivalenz und Partition, Partitionen zählen, Kern einer Abbildung, Funktionen zählen
- Ordnungsrelationen: lineare Erweiterungen, Quasiordnungen, transitive Hülle, Ketten, Antiketten, Dilworth
- Bäume zählen: der Satz von Cayley, Spannbäume zählen
- Planare Graphen: die Eulersche Polyederformel, Triangulierungen, der Dualgraph, Minoren
- Gerichtete Graphen: Tiefensuche, Starke Zusammenhangskomponenten, Breitensuche, Transportnetze, der Algorithmus von Edmonds-Karp, nochmals Paarungen
Vorlesungszeiten
Die Vorlesung findet in Präsenz statt.
|
Mittwoch |
||
|
Freitag |
Übungen
Der Übungsbetrieb wird über den Opal Kurs organisiert. Dort sind Übungsblätter, Hausaufgaben, Vor- und Nachbereitungsausfaben bereitgestellt. Verantwortlicher: Florian Starke. Weitere Informationen zum Übungsbetriebs des ganzen Moduls INF 110.
Hinweise
Vorlesende ist Waltraud Lederle, Vorlesungssprache ist Deutsch. Es wird dringend empfohlen, in der Vorlesung mitzuschreiben. Aktive Teilnahme an den Übungen ist obligatorisch.
Skript
Vorlesungsaufzeichnungen
Im Videocampus gibt es Aufzeichnungen der Vorlesung aus dem Wintersemester 22/23.
Literatur
Die Vorlesung folgt keinem Lehrbuch sondern dem Skript. Wer aber nach ergänzender Literatur sucht, dem empfehlen wir `Diskrete Strukturen', Band 1 (Kombinatorik -- Graphentheorie -- Algebra) von Angelika Steger, Springer Verlag.