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: 2016-10-18
Lang: de
Dur: 01:25:21

Grundlagen

Mathematische Aussagen

Date: 2016-10-19
Lang: de
Dur: 01:24:58

Aussagenlogik - Aussageformen

Date: 2016-10-25
Lang: de
Dur: 01:29:17

Mengen und Mengenoperationen

Date: 2016-10-26
Lang: de
Dur: 01:25:55

Besondere Mengenkonstruktionen

Date: 2016-11-01
Lang: de
Dur: 01:25:41

Vereinigung, Durchschnitt und Differenz von Mengen

Date: 2016-11-02
Lang: de
Dur: 01:24:11

Produkte von Mengen

Date: 2016-11-08
Lang: de
Dur: 01:10:08

Relationen

Date: 2016-11-15
Lang: de
Dur: 01:24:48
Relationen 01:24:48
Start 01:24:48

Äquivalenzrelationen

Date: 2016-11-23
Lang: de
Dur: 01:28:52

Rechnen mit Äquivalenzrelationen

Date: 2016-11-29
Lang: de
Dur: 01:32:03

Äquivalenz- und Halbordnungsrelationen

Date: 2016-11-30
Lang: de
Dur: 01:27:17

Halbordnungsrelationen

Date: 2016-12-06
Lang: de
Dur: 01:27:08

Abbildungen

Abbildungen und Funktionen

Date: 2016-12-07
Lang: de
Dur: 01:29:54

Abbildungen, Sätze und Beweise

Date: 2016-12-13
Lang: de
Dur: 01:32:02

Folgen und Mengenfamilien

Date: 2017-01-04
Lang: de
Dur: 01:21:59

Abzählbarkeit

Date: 2017-01-10
Lang: de
Dur: 01:25:42
Abzählbarkeit 01:25:42
Start 01:25:42

Mathematische Techniken

Grundlegende Beweißstrategie

Date: 2017-01-11
Lang: de
Dur: 01:21:57

Kombinatorische Beweise und Beweise vermittels Induktion

Date: 2017-01-17
Lang: de
Dur: 01:28:58

Zählen

Date: 2017-01-24
Lang: de
Dur: 01:22:27
Zählen 01:22:27
Start 01:22:27

Pascalsches Dreieck

Date: 2017-01-25
Lang: de
Dur: 00:45:32

Zufallsexperimente und Wahrscheinlichkeit

Date: 2017-02-01
Lang: de
Dur: 01:32:30

Stochastik

Date: 2017-02-07
Lang: de
Dur: 01:18:39
Stochastik 01:18:39
Start 01:18:39

Zufallsvariablen

Date: 2017-02-08
Lang: de
Dur: 01:16:13
Zufallsvariablen 01:16:13
Start 01:16:13