Mathematik I - Diskrete Strukturen und Logik (WS 2016/17)

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

Einführung

Einführung & Organisatorisches

Date: October 18, 2016
Language: German
Duration: 01:25:21

Grundlagen

Mathematische Aussagen

Date: October 19, 2016
Language: German
Duration: 01:24:58

Aussagenlogik - Aussageformen

Date: October 25, 2016
Language: German
Duration: 01:29:17

Mengen und Mengenoperationen

Date: October 26, 2016
Language: German
Duration: 01:25:55

Besondere Mengenkonstruktionen

Date: November 1, 2016
Language: German
Duration: 01:25:41

Vereinigung, Durchschnitt und Differenz von Mengen

Date: November 2, 2016
Language: German
Duration: 01:24:11

Produkte von Mengen

Date: November 8, 2016
Language: German
Duration: 01:10:08

Relationen

Date: November 15, 2016
Language: German
Duration: 01:24:48
Relationen 01:24:48
Start 01:24:48

Äquivalenzrelationen

Date: November 23, 2016
Language: German
Duration: 01:28:52

Rechnen mit Äquivalenzrelationen

Date: November 29, 2016
Language: German
Duration: 01:32:03

Äquivalenz- und Halbordnungsrelationen

Date: November 30, 2016
Language: German
Duration: 01:27:17

Halbordnungsrelationen

Date: December 6, 2016
Language: German
Duration: 01:27:08

Abbildungen

Abbildungen und Funktionen

Date: December 7, 2016
Language: German
Duration: 01:29:54

Abbildungen, Sätze und Beweise

Date: December 13, 2016
Language: German
Duration: 01:32:02

Folgen und Mengenfamilien

Date: January 4, 2017
Language: German
Duration: 01:21:59

Abzählbarkeit

Date: January 10, 2017
Language: German
Duration: 01:25:42
Abzählbarkeit 01:25:42
Start 01:25:42

Mathematische Techniken

Grundlegende Beweisstrategie

Date: January 11, 2017
Language: German
Duration: 01:21:57

Kombinatorische Beweise und Beweise vermittels Induktion

Date: January 17, 2017
Language: German
Duration: 01:28:58

Vollständige Induktion

Date: January 18, 2017
Language: German
Duration: 01:27:53

Zählen

Date: January 24, 2017
Language: German
Duration: 01:22:27
Zählen 01:22:27
Start 01:22:27

Pascalsches Dreieck

Date: January 25, 2017
Language: German
Duration: 00:45:32

Zufallsexperimente und Wahrscheinlichkeit

Date: February 1, 2017
Language: German
Duration: 01:32:30

Stochastik

Date: February 7, 2017
Language: German
Duration: 01:18:39
Stochastik 01:18:39
Start 01:18:39

Zufallsvariablen

Date: February 8, 2017
Language: German
Duration: 01:16:13