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

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

Vorlesungen

Einführung in die Vorlesung

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

Aussagenlogik

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

Aussageformen und Quantoren

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

Mengen

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

Mengenkonstrukte

Date: October 30, 2014
Language: German
Duration: 01:25:52
Views: 192

Teilmengen und Potenzmengen

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

Idempotenz

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

Relationen

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

Eigenschaften von Relationen

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

Äquivalenzrelationen

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

Äquivalenzrelationen - Klassen und Zerlegungen

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

Rechnen mit Äquivalenzrelationen

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

Halbordnungsrelationen

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

Halbordnungsrelationen und Schranken

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

Abbildungen und Funktionen

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

Arten von Abbildungen

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

Spezielle Abbildungen - Folgen und Mengenfamilien

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

Unendlichkeit

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

Beweisstrategien

Date: January 14, 2015
Language: German
Duration: 01:26:40
Views: 188

Vollständige Induktion

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

Induktive Definitionen, Zählen

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

Zählen

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

Kombinationen, Permutationen und Binomialkoeffizienten

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

Kombinatorik

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

Diskrete Stochastik

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