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

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

Abbildungen

Abbildungen und Funktionen

Date: December 7, 2021
Language: German
Duration: 01:25:04

Abbildungen: Injektivität, Surjektivität & Bijektivität

Date: December 9, 2021
Language: German
Duration: 01:24:45

Abbildungen & Folgen und Mengenfamilien

Date: December 16, 2021
Language: German
Duration: 01:28:36

Mathematische Techniken

Grundlegende Beweisstrategien

Date: January 4, 2022
Language: German
Duration: 01:37:26

Beweisstrategien: Kombinatorik und vollständige Induktion

Date: January 6, 2022
Language: German
Duration: 01:28:57

Vollständige Induktion

Date: January 11, 2022
Language: German
Duration: 01:28:36

Vollständige Induktion & Zählen - Kombinatorik

Date: January 13, 2022
Language: German
Duration: 01:27:53

Zählen - Kombinatorik

Date: January 18, 2022
Language: German
Duration: 01:30:07

Zählen Fortsetzung

Date: January 20, 2022
Language: German
Duration: 01:35:23

Diskrete Stochastik

Date: January 25, 2022
Language: German
Duration: 01:28:48

Diskrete Stochastik - Zufallsexperimente

Date: January 27, 2022
Language: German
Duration: 01:23:59

Stochastik: Wahrscheinlichkeiten & Zufallsvariablen

Date: February 1, 2022
Language: German
Duration: 01:26:07

Binomial- und Geometrische Verteilung & Mathematische Strukturen

Date: February 3, 2022
Language: German
Duration: 01:30:24

Strukturen: Boolesche Algebren

Date: February 8, 2022
Language: German
Duration: 01:26:41

Strukturen: Boolesche Algebren (2)

Date: February 10, 2022
Language: German
Duration: 01:39:49

Strukturen: Boolesche Algebren (3)

Date: February 15, 2022
Language: German
Duration: 01:30:38