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

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

Einführung

Einführung & Organisatorisches

Date: 2015-10-13
Lang: de
Dur: 00:45:00

Grundlagen

Mathematische Aussagen

Date: 2015-10-13
Lang: de
Dur: 00:41:36

Aussagenlogik

Date: 2015-10-14
Lang: de
Dur: 01:26:38
Aussagenlogik 01:26:38
Start 01:26:38

Tautologien

Date: 2015-10-27
Lang: de
Dur: 01:30:24
Tautologien 01:30:24
Start 01:30:24

Mengen

Date: 2015-10-28
Lang: de
Dur: 01:25:18
Mengen 01:25:18
Start 01:25:18

Arten von Mengen

Date: 2015-11-03
Lang: de
Dur: 01:24:21
Arten von Mengen 01:24:21
Start 01:24:21

Rechnen mit Mengen

Date: 2015-11-04
Lang: de
Dur: 01:01:22

Relationen

Date: 2015-11-10
Lang: de
Dur: 01:27:19
Relationen 01:27:19
Start 01:27:19

Rechnen mit Relationen

Date: 2015-11-11
Lang: de
Dur: 00:58:48

Äquivalenzrelationen

Date: 2015-11-17
Lang: de
Dur: 01:24:57

Rechnen mit Äquivalenzrelationen

Date: 2015-11-18
Lang: de
Dur: 01:28:23

Halbordnungen

Date: 2015-11-24
Lang: de
Dur: 01:28:36
Halbordnungen 01:28:36
01:28:36 01:28:36

Abbildungen

Abbildungen und Funktionen

Date: 2015-12-01
Lang: de
Dur: 01:31:33

Spezialfunktionen

Date: 2015-12-02
Lang: de
Dur: 01:15:28

Beweis von Eigenschaften und Sätzen

Date: 2015-12-08
Lang: de
Dur: 01:29:38

Folgen und Mengenfamilien

Date: 2015-12-15
Lang: de
Dur: 01:21:53

Abzählbarkeit

Date: 2016-01-05
Lang: de
Dur: 00:59:11
Abzählbarkeit 00:59:11
Start 00:59:11

Mathematische Techniken

Grundlegende Beweißstrategie

Date: 2016-01-05
Lang: de
Dur: 00:25:35

Beweisen vermittels Widerspruch, Quantoren und Kombinatorik

Date: 2016-01-06
Lang: de
Dur: 01:31:22

Kombinatorische Beweise und Beweise vermittels Induktion

Date: 2016-01-12
Lang: de
Dur: 01:14:16

Induktionssatz

Date: 2016-01-13
Lang: de
Dur: 01:29:27
Induktionssatz 01:29:27
Start 01:29:27

Beweis aussagenlogischer Formeln vermittels vollständiger Induktion

Date: 2016-01-19
Lang: de
Dur: 01:11:15

Kombinatorik Zählprinzipien

Date: 2016-01-19
Lang: de
Dur: 00:14:12

Anwendung der Summenregeln

Date: 2016-01-20
Lang: de
Dur: 01:26:23

Permutation und Binomialkoeffizienten

Date: 2016-01-26
Lang: de
Dur: 01:22:49

Pascalsches Dreieck

Date: 2016-01-27
Lang: de
Dur: 01:19:33

Diskrete Stochastik

Date: 2016-02-02
Lang: de
Dur: 01:19:59

Zufallsvariablen, Erwartungswert und Varianz

Date: 2016-02-03
Lang: de
Dur: 01:17:54