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

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

Grundlagen

Date: October 19, 2016
Language: German
Duration: 01:24:58
Date: October 25, 2016
Language: German
Duration: 01:29:17
Date: October 26, 2016
Language: German
Duration: 01:25:55
Date: November 8, 2016
Language: German
Duration: 01:10:08
Date: November 15, 2016
Language: German
Duration: 01:24:48
Relationen 01:24:48
Start 01:24:48
Date: November 23, 2016
Language: German
Duration: 01:28:52
Date: November 29, 2016
Language: German
Duration: 01:32:03
Date: December 6, 2016
Language: German
Duration: 01:27:08

Abbildungen

Date: December 7, 2016
Language: German
Duration: 01:29:54
Date: December 13, 2016
Language: German
Duration: 01:32:02
Date: January 4, 2017
Language: German
Duration: 01:21:59
Date: January 10, 2017
Language: German
Duration: 01:25:42
Abzählbarkeit 01:25:42
Start 01:25:42

Mathematische Techniken

Date: January 11, 2017
Language: German
Duration: 01:21:57
Date: January 18, 2017
Language: German
Duration: 01:27:53
Date: January 24, 2017
Language: German
Duration: 01:22:27
Zählen 01:22:27
Start 01:22:27
Date: January 25, 2017
Language: German
Duration: 00:45:32
Date: February 7, 2017
Language: German
Duration: 01:18:39
Stochastik 01:18:39
Start 01:18:39
Date: February 8, 2017
Language: German
Duration: 01:16:13