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-06 (Mi) - 2.) Elementare Logik 3 (2.3 Rechnen mit logischen Verknüpfungen & 2.4 Aussageformen)

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-20 (Mi) - 3.) Mengenlehre 2 (3.2 Rechnen mit Mengen & 3.3 Rechnen mit unendlich vielen 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 (61. Ungerichtete Graphen)

2020-01-22 (Mi)

2020-01-23 (Do)

2020-01-29 (Mi)

2020-01-30 (Do) - entfällt

2020-02-05 (Mi)

2020-02-06 (Do)

2020-02-12 (Mi)

2020-02-13 (Do)