Mathematik I - Diskrete Strukturen und Logik (WS 2020/21)

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

Predecessor of this series: Mathematik I - Diskrete Strukturen und Logik (WS 2019/20)

Grundlagen

Aussagen

Date: November 3, 2020
Language: German
Duration: 01:31:00
Aussagen 01:31:00

Tautologien

Date: November 4, 2020
Language: German
Duration: 01:28:35

Aussageformen

Date: November 10, 2020
Language: German
Duration: 01:48:19

Mengen und Mengenoperationen

Date: November 11, 2020
Language: German
Duration: 01:35:00

Mengenkonstruktionen

Date: November 17, 2020
Language: German
Duration: 01:26:42

Mengenlehre Fortsetzung

Date: November 18, 2020
Language: German
Duration: 01:37:32

Relationen

Date: November 24, 2020
Language: German
Duration: 01:41:18

Eigenschaften von Relationen

Date: November 25, 2020
Language: German
Duration: 01:19:42

Eigenschaften von Relationen Fortsetzung

Date: December 1, 2020
Language: German
Duration: 01:29:36

Äquivalenzrelationen

Date: December 2, 2020
Language: German
Duration: 01:28:08

Äquivalenzrelationen - Zerlegung

Date: December 8, 2020
Language: German
Duration: 01:12:41

Rechnen mit Äquivalenzrelationen

Date: December 9, 2020
Language: German
Duration: 01:28:44

Halbordnungsrelationen

Date: December 15, 2020
Language: German
Duration: 01:32:16

Abbildungen

Abbildungen und Funktionen

Date: January 5, 2021
Language: German
Duration: 01:29:26

Abbildungen und Funktionen Fortsetzung

Date: January 6, 2021
Language: German
Duration: 01:27:10

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

Date: January 12, 2021
Language: German
Duration: 00:41:55

Nachbesprechung Zwischenklausur & Folgen und Mengenfamilien

Date: January 13, 2021
Language: German
Duration: 01:37:08

Mathematische Techniken

Grundlegende Beweisstrategien

Date: January 19, 2021
Language: German
Duration: 01:30:42

Beweisstrategien: Kombinatorik und vollständige Induktion

Date: January 20, 2021
Language: German
Duration: 01:26:05

Vollständige Induktion: Induktive Definitionen

Date: January 26, 2021
Language: German
Duration: 01:25:37

Vollständige Induktion & Zählen - Kombinatorik

Date: January 27, 2021
Language: German
Duration: 01:20:39

Zählen - Kombinatorik

Date: February 2, 2021
Language: German
Duration: 01:37:41

Zählen Fortsetzung

Date: February 3, 2021
Language: German
Duration: 01:23:43

Diskrete Stochastik

Date: February 9, 2021
Language: German
Duration: 01:23:44

Diskrete Stochastik - Zufallsexperimente

Date: February 10, 2021
Language: German
Duration: 01:24:06