Mathematik I - Diskrete Strukturen und Logik (WS 2014/2015)

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

Vorlesungen

Einführung in die Vorlesung

Date: October 15, 2014
Language: German
Duration: 01:24:38

Aussagenlogik

Date: October 22, 2014
Language: English
Duration: 01:27:51
Aussagenlogik 01:27:51
Start 01:27:51

Aussageformen und Quantoren

Date: October 22, 2014
Language: German
Duration: 01:09:29

Mengen

Date: October 29, 2014
Language: German
Duration: 01:08:45
Mengen 01:08:45
Start 01:08:45

Mengenkonstrukte

Date: October 30, 2014
Language: German
Duration: 01:25:52
Mengenkonstrukte 01:25:52
Start 01:25:52

Teilmengen und Potenzmengen

Date: November 10, 2014
Language: German
Duration: 01:27:37

Idempotenz

Date: November 17, 2014
Language: German
Duration: 01:22:38
Idempotenz 01:22:38
Start 01:22:38

Relationen

Date: November 18, 2014
Language: German
Duration: 01:27:08
Relationen 01:27:08
Start 01:27:08

Eigenschaften von Relationen

Date: November 19, 2014
Language: English
Duration: 01:26:17

Äquivalenzrelationen

Date: November 25, 2014
Language: German
Duration: 01:25:40

Äquivalenzrelationen - Klassen und Zerlegungen

Date: November 26, 2014
Language: German
Duration: 00:00:00

Rechnen mit Äquivalenzrelationen

Date: December 2, 2014
Language: English
Duration: 01:35:43

Halbordnungsrelationen

Date: December 9, 2014
Language: English
Duration: 01:31:56

Halbordnungsrelationen und Schranken

Date: December 10, 2014
Language: German
Duration: 01:33:36

Abbildungen und Funktionen

Date: December 17, 2014
Language: German
Duration: 01:21:09

Arten von Abbildungen

Date: January 5, 2015
Language: German
Duration: 01:30:08

Spezielle Abbildungen - Folgen und Mengenfamilien

Date: January 6, 2015
Language: English
Duration: 01:27:57

Unendlichkeit

Date: January 7, 2015
Language: German
Duration: 01:25:42
Unendlichkeit 01:25:42
Start 01:25:42

Beweisstrategien

Date: January 14, 2015
Language: German
Duration: 01:26:40
Beweisstrategien 01:26:40
Start 01:26:40

Vollständige Induktion

Date: January 20, 2015
Language: German
Duration: 01:23:16

Induktive Definitionen, Zählen

Date: January 27, 2015
Language: German
Duration: 01:29:23

Zählen

Date: January 28, 2015
Language: German
Duration: 01:28:14
Zählen 01:28:14
Start 01:28:14

Kombinationen, Permutationen und Binomialkoeffizienten

Date: February 3, 2015
Language: German
Duration: 01:25:20

Kombinatorik

Date: February 4, 2015
Language: German
Duration: 01:06:07
Kombinatorik 01:06:07
Start 01:06:07

Diskrete Stochastik

Date: February 12, 2015
Language: German
Duration: 01:30:23