Mathematik I - Diskrete Strukturen und Logik (WS 2017/18)

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 2018/19)
Predecessor of this series: Mathematik I - Diskrete Strukturen und Logik (WS 2016/17)

Grundlagen

Aussagen

Date: October 17, 2017
Language: German
Duration: 01:16:05
Views: 549
Aussagen 01:16:05
Start 01:16:05

Aussagenlogik - Aussageformen

Date: October 18, 2017
Language: German
Duration: 01:27:12
Views: 382

Aussageformen

Date: October 24, 2017
Language: German
Duration: 01:31:40
Views: 339
Aussageformen 01:31:40
Start 01:31:40

Mengen

Date: October 25, 2017
Language: German
Duration: 01:24:02
Views: 342
Mengen 01:24:02
Start 01:24:02

Mengenkonstruktionen

Date: November 1, 2017
Language: German
Duration: 01:14:42
Views: 304

Weitere Mengenoperationen

Date: November 7, 2017
Language: German
Duration: 01:21:08
Views: 297

Relationen

Date: November 14, 2017
Language: German
Duration: 01:32:38
Views: 305
Relationen 01:32:38
Start 01:32:38

Eigenschaften von Relationen

Date: November 15, 2017
Language: German
Duration: 01:29:01
Views: 311

Halbordnungen

Date: November 28, 2017
Language: German
Duration: 01:24:07
Views: 305
Halbordnungen 01:24:07
Start 01:24:07

Äquivalenzrelationen

Date: December 4, 2017
Language: German
Duration: 01:26:47
Views: 312

Äquivalenzrelationen - Zerlegung

Date: December 6, 2017
Language: German
Duration: 01:10:36
Views: 306

Rechnen mit Äquivalenzrelationen

Date: December 11, 2017
Language: German
Duration: 01:39:58
Views: 322

Äquivalenzrelationen - Erweiterung

Date: December 19, 2017
Language: German
Duration: 01:30:53
Views: 318

Abbildungen

Abbildungen und Funktionen

Date: December 20, 2017
Language: German
Duration: 01:24:42
Views: 302

Eigenschaften von Abbildungen

Date: January 9, 2018
Language: German
Duration: 01:15:24
Views: 300

Abzählbarkeit

Date: January 16, 2018
Language: German
Duration: 01:29:35
Views: 316
Abzählbarkeit 01:29:35
Start 01:29:35

Mathematische Techniken

Grundlegende Beweisstrategien

Date: January 17, 2018
Language: German
Duration: 01:21:45
Views: 337

Vollständige Induktion

Date: January 10, 2018
Language: German
Duration: 01:25:59
Views: 377

Kombinatorische Beweise

Date: January 23, 2018
Language: German
Duration: 01:24:25
Views: 326

Beweise vermittels Induktion

Date: January 24, 2018
Language: German
Duration: 01:25:38
Views: 284

Kombinatorik

Date: January 30, 2018
Language: German
Duration: 01:33:07
Views: 314
Kombinatorik 01:33:07
Start 01:33:07

Pascalsches Dreieck

Date: January 31, 2018
Language: German
Duration: 01:10:07
Views: 299

Zufallsexperimente und Wahrscheinlichkeiten

Date: February 6, 2018
Language: German
Duration: 01:24:07
Views: 339

Zufallsvariablen

Date: February 7, 2018
Language: German
Duration: 01:30:43
Views: 303

Mathematische Strukturen

Date: February 8, 2018
Language: German
Duration: 01:09:26
Views: 340