Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2021/22)

Prof. Dr. Christoph Meinel


In der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik vermittelt. Es werden die folgenden drei Themenkomplexe behandelt:

Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Mathematisches Beweisen, Relationen und Funktionen

Techniken: Beweistechniken; vollständige Induktionen; Diskrete Stochastik

Wichtige diskrete Strukturen: Boolesche Algebren; Graphen und Bäume; Aussagen- und Prädikatenlogik; Endliche Arithmetik

Grundlagen

Live:

Date: December 7, 2021
Language: German
Duration: 01:30:00
Live: 01:30:00

Aussagen

Date: October 26, 2021
Language: German
Duration: 01:29:42
Aussagen 01:29:42

Tautologien

Date: October 28, 2021
Language: German
Duration: 01:32:30

Aussageformen & Mengenlehre

Date: November 2, 2021
Language: German
Duration: 01:32:07

Mengen und Mengenoperationen

Date: November 4, 2021
Language: German
Duration: 01:12:54

Mengenkonstruktionen

Date: November 9, 2021
Language: German
Duration: 01:30:06

Weitere Mengenoperationen

Date: November 11, 2021
Language: German
Duration: 01:28:21

Mathematische Beweise & Relationen

Date: November 16, 2021
Language: German
Duration: 01:28:54

Eigenschaften von Relationen

Date: November 18, 2021
Language: German
Duration: 01:25:53

Äquivalenzrelationen

Date: November 23, 2021
Language: German
Duration: 01:39:15

Äquivalenzrelationen - Zerlegung

Date: November 25, 2021
Language: German
Duration: 01:33:44

Rechnen mit Äquivalenzrelationen

Date: November 30, 2021
Language: German
Duration: 01:34:59

Halbordnungsrelationen

Date: December 2, 2021
Language: German
Duration: 01:26:20