
Dozent
Prof. Dr. Sven Kosub
Termine (Vorlesung)
Mi | 10:00 - 11:30 | R 513 |
Do | 10:00 - 11:30 | R 513 |
Inhalt
Weitere Details zum Inhalt der Vorlesung auf der Webseite zur Vorlesung.
Termine / Dates & Video Recordings
2019-10-23 (Mi) - 0.) Organisatorisches
2019-10-24 (Do) - 1.) Mathematische Konstruktionen
2019-10-30 (Mi) - 2.) Elementare Logik 1
2019-10-31 (Do) - 2.) Elementare Logik 2 (2.2 Logische Verknüpfungen)
2019-11-07 (Do) - 2.) Elementare Logik 4 (2.5 Aussagen mit Quantoren)
2019-11-13 (Mi) - 2.) Elementare Logik 5 (Fortsetzung)
2019-11-14 (Do) - 2.) Elementare Logik 6 (2.6 Beweise) & 3.) Mengenlehre 1 (3.1 Mengen)
2019-11-21 (Do) - 3.) Mengenlehre (3.4 Potenzmengen) & 4.) Relationen (4.1 Kreuzprodukte)
2019-11-27 (Mi) - 4.) Relationen (4.2 Äquivalenzrelationen)
2019-11-28 (Do) - 4.) Relationen (4.2 Äquivalenzrelationen & 4.3 Ordnungsrelationen)
2019-12-04 (Mi) - 4.) Relationen (4.3 Ordnungsrelationen & 4.4 Funktionen und Abbildungen)
2019-12-05 (Do) - 4.) Relationen (4.4 Funktionen und Abbildungen)
2019-12-11 (Mi) - 4.) Relationen (4.4 Funktionen und Abbildungen)
2019-12-12 (Do) - 5.) Kombinatorik (5.1 Grundregeln des Abzählens)
2019-12-18 (Mi) - 5.) Kombinatorik (Fortsetzung 5.1 und 5.2 Urnenmodelle)
2019-12-19 (Do) - 5.) Kombinatorik (Fortsetzung 5.2 Urnenmodelle und 5.3 Binomialkoeffizienten)
2020-01-08 (Mi) - 5.) Kombinatorik (5.4 Stirling-Zahlen)
2020-01-09 (Do) - 5.) Kombinatorik (5.4 Stirling-Zahlen & 5.5 Weitere Abzählprinzipien)
2020-01-15 (Mi) - 5.) Kombinatorik (Fortsetzung 5.5 Weitere Abzählprinzipien)
2020-01-16 (Do) - 6.) Graphentheorie (6.1 Ungerichtete Graphen)
2020-01-22 (Mi) - 6.) Graphentheorie (6.1 Ungerichtete Graphen & 6.2 Wege in Graphen)
2020-01-23 (Do) - 6.) Graphentheorie (6.3 Kreisfreie Graphen)
2020-01-29 (Mi) - 6.) Graphentheorie (6.3 Kreisfreie Graphen & 6.4 Planare Graphen)
2020-01-30 (Do) - entfällt
2020-02-05 (Mi) - 7.) Algebraische Strukturen (7.1 Universelle Algebren)
2020-02-06 (Do) - 7.) Algebraische Strukturen (7.1 Universelle Algebren & 7.2 Algebrentypen)
2020-02-12 (Mi) - 7.) Algebraische Strukturen (7.2 Algebrentypen & 7.3 Gruppen)
2020-02-13 (Do) - 7.) Algebraische Strukturen (3 klassische Resultate der Gruppentheorie)