Mathematik I - Diskrete Strukturen und Logik (WS 2018/19)

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 2017/18)

Grundlagen

Aussagen

Date: October 16, 2018
Language: German
Duration: 01:37:08
Aussagen 01:37:08
Start 01:37:08

Tautologien

Date: October 17, 2018
Language: German
Duration: 01:17:11
Tautologien 01:17:11
Start 01:17:11

Aussageformen

Date: October 23, 2018
Language: German
Duration: 01:29:02
Aussageformen 01:29:02
Start 01:29:02

Mengenlehre

Date: October 24, 2018
Language: German
Duration: 01:31:42
Mengenlehre 01:31:42
Start 01:31:42

Mengenoperationen

Date: October 30, 2018
Language: German
Duration: 01:21:39

Relationen

Date: November 6, 2018
Language: German
Duration: 01:22:50
Relationen 01:22:50
Start 01:22:50

Eigenschaften von Relationen

Date: November 7, 2018
Language: German
Duration: 01:30:49

Äquivalenzrelationen

Date: November 13, 2018
Language: English
Duration: 01:30:25