Mathematik I - Diskrete Strukturen und Logik (WS 2019/20)

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 2018/19)

Grundlagen

Aussagen

Date: October 15, 2019
Language: German
Duration: 01:28:36
Aussagen 01:28:36

Tautologien

Date: October 16, 2019
Language: German
Duration: 01:26:32

Aussageformen

Date: October 22, 2019
Language: German
Duration: 00:47:50

Mengenlehre

Date: October 23, 2019
Language: German
Duration: 01:27:50

Mengenkonstruktionen

Date: November 5, 2019
Language: German
Duration: 01:26:15

Weitere Mengenoperationen

Date: November 6, 2019
Language: German
Duration: 01:30:14

Beweistechniken

Date: November 12, 2019
Language: German
Duration: 01:24:32

Eigenschaften von Relationen

Date: November 13, 2019
Language: German
Duration: 01:22:43

Äquivalenzrelationen

Date: November 19, 2019
Language: German
Duration: 01:29:06

Äquivalenzrelationen - Zerlegung

Date: November 20, 2019
Language: German
Duration: 01:23:42

Rechnen mit Äquivalenzrelationen

Date: November 26, 2019
Language: German
Duration: 01:32:18

Halbordnungsrelationen

Date: November 27, 2019
Language: German
Duration: 01:22:53

Abbildungen

Abbildungen und Funktionen

Date: December 3, 2019
Language: German
Duration: 01:30:06

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

Date: December 4, 2019
Language: German
Duration: 01:26:05

Abzählbarkeit

Date: December 10, 2019
Language: German
Duration: 01:31:56

Mathematische Techniken

Abzählbarkeit & Grundlegende Beweisstrategien

Date: December 17, 2019
Language: German
Duration: 01:21:03

Kombinatorische Beweise

Date: December 18, 2019
Language: German
Duration: 01:13:37

Beweis durch vollständige Induktion

Date: January 7, 2020
Language: German
Duration: 01:18:54

Vollständige Induktion: Induktive Definitionen - Aussagenlogische Formeln

Date: January 8, 2020
Language: German
Duration: 01:25:12

Vollständige Induktion & Kombinatorik

Date: January 14, 2020
Language: English
Duration: 01:22:43

Kombinatorik

Date: January 15, 2020
Language: German
Duration: 01:26:40

Binomialkoeffizienten

Date: January 21, 2020
Language: German
Duration: 01:20:31

Diskrete Stochastik

Date: January 22, 2020
Language: German
Duration: 01:28:44

Stochastik: Wahrscheinlichkeiten & Zufallsvariablen

Date: January 28, 2020
Language: German
Duration: 01:26:31

Stochastik: Erwartungswert

Date: January 29, 2020
Language: German
Duration: 01:16:45

Binomial- und Geometrische Verteilung

Date: February 4, 2020
Language: German
Duration: 00:44:10

Strukturen: Boolesche Algebren

Date: February 5, 2020
Language: German
Duration: 00:56:21