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

Successor of this series: Mathematik I - Diskrete Strukturen und Logik (WS 2019/20)
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
Views: 939
Aussagen 01:37:08
Start 01:37:08

Tautologien

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

Aussageformen

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

Mengenlehre

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

Mengenoperationen

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

Relationen

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

Eigenschaften von Relationen

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

Äquivalenzrelationen

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

Äquivalenzrelationen - Zerlegung

Date: November 20, 2018
Language: German
Duration: 01:31:29
Views: 281

Halbordnungsrelationen

Date: November 21, 2018
Language: German
Duration: 01:23:47
Views: 339

Abbildungen

Abbildungen und Funktionen

Date: November 27, 2018
Language: German
Duration: 01:22:15
Views: 323

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

Date: December 4, 2018
Language: German
Duration: 01:30:49
Views: 297

Kardinalität

Date: December 5, 2018
Language: German
Duration: 01:21:04
Views: 369
Kardinalität 01:21:04
Start 01:21:04

Mathematische Techniken

Kardinalität & Grundlegende Beweisstrategien

Date: December 11, 2018
Language: German
Duration: 01:36:01
Views: 328

Kombinatorische Beweise

Date: December 18, 2018
Language: German
Duration: 01:31:59
Views: 267

Beweis vermittels vollständiger Induktion

Date: December 19, 2018
Language: German
Duration: 01:29:48
Views: 291

Vollständige Induktion: Induktive Definitionen - Aussagenlogische Formeln

Date: January 8, 2019
Language: German
Duration: 01:22:46
Views: 272

Kombinatorik

Date: January 9, 2019
Language: German
Duration: 01:25:26
Views: 326
Kombinatorik 01:25:26
Start 01:25:26

Permutation und Binomialkoeffizienten

Date: January 15, 2019
Language: German
Duration: 01:07:53
Views: 259

Stochastik

Date: January 16, 2019
Language: German
Duration: 01:26:45
Views: 314

Stochastik: Wahrscheinlichkeiten & Zufallsvariablen

Date: January 22, 2019
Language: German
Duration: 01:26:01
Views: 296

Stochastik: Erwartungswert

Date: January 23, 2019
Language: German
Duration: 01:05:07
Views: 241

Strukturen: Boolesche Algebren (1)

Date: January 29, 2019
Language: German
Duration: 01:29:09
Views: 225

Strukturen: Boolesche Algebren (2)

Date: January 30, 2019
Language: German
Duration: 01:27:10
Views: 197

Boolesche Algebra: Halbordnungen & Isomorphiesätze

Date: February 5, 2019
Language: German
Duration: 01:22:26
Views: 215