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

Successor of this series: Mathematik I - Diskrete Strukturen und Logik (WS 2017/18)
Predecessor of this series: Mathematik I - Diskrete Strukturen und Logik (WS 2015/16)

Einführung

Einführung & Organisatorisches

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

Grundlagen

Mathematische Aussagen

Date: October 19, 2016
Language: German
Duration: 01:24:58
Views: 347

Aussagenlogik - Aussageformen

Date: October 25, 2016
Language: German
Duration: 01:29:17
Views: 275

Mengen und Mengenoperationen

Date: October 26, 2016
Language: German
Duration: 01:25:55
Views: 317

Besondere Mengenkonstruktionen

Date: November 1, 2016
Language: German
Duration: 01:25:41
Views: 306

Vereinigung, Durchschnitt und Differenz von Mengen

Date: November 2, 2016
Language: German
Duration: 01:24:11
Views: 281

Produkte von Mengen

Date: November 8, 2016
Language: German
Duration: 01:10:08
Views: 286

Relationen

Date: November 15, 2016
Language: German
Duration: 01:24:48
Views: 280
Relationen 01:24:48
Start 01:24:48

Äquivalenzrelationen

Date: November 23, 2016
Language: German
Duration: 01:28:52
Views: 252

Rechnen mit Äquivalenzrelationen

Date: November 29, 2016
Language: German
Duration: 01:32:03
Views: 252

Äquivalenz- und Halbordnungsrelationen

Date: November 30, 2016
Language: German
Duration: 01:27:17
Views: 275

Halbordnungsrelationen

Date: December 6, 2016
Language: German
Duration: 01:27:08
Views: 273

Abbildungen

Abbildungen und Funktionen

Date: December 7, 2016
Language: German
Duration: 01:29:54
Views: 273

Abbildungen, Sätze und Beweise

Date: December 13, 2016
Language: German
Duration: 01:32:02
Views: 294

Folgen und Mengenfamilien

Date: January 4, 2017
Language: German
Duration: 01:21:59
Views: 235

Abzählbarkeit

Date: January 10, 2017
Language: German
Duration: 01:25:42
Views: 281
Abzählbarkeit 01:25:42
Start 01:25:42

Mathematische Techniken

Grundlegende Beweisstrategie

Date: January 11, 2017
Language: German
Duration: 01:21:57
Views: 284

Kombinatorische Beweise und Beweise vermittels Induktion

Date: January 17, 2017
Language: German
Duration: 01:28:58
Views: 293

Vollständige Induktion

Date: January 18, 2017
Language: German
Duration: 01:27:53
Views: 237

Zählen

Date: January 24, 2017
Language: German
Duration: 01:22:27
Views: 289
Zählen 01:22:27
Start 01:22:27

Pascalsches Dreieck

Date: January 25, 2017
Language: German
Duration: 00:45:32
Views: 289

Zufallsexperimente und Wahrscheinlichkeit

Date: February 1, 2017
Language: German
Duration: 01:32:30
Views: 256

Stochastik

Date: February 7, 2017
Language: German
Duration: 01:18:39
Views: 256
Stochastik 01:18:39
Start 01:18:39

Zufallsvariablen

Date: February 8, 2017
Language: German
Duration: 01:16:13
Views: 291