Mathematik I - Diskrete Strukturen und Logik (WS 2022/23)

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

Grundlagen

Aussagen

Date: October 20, 2022
Language: German
Duration: 01:32:43
Aussagen 01:32:43

Tautologien

Date: October 24, 2022
Language: German
Duration: 01:33:06

Aussageformen & Mengen und Mengenoperationen

Date: October 25, 2022
Language: German
Duration: 01:28:16

Mengenoperationen

Date: November 1, 2022
Language: German
Duration: 01:29:14

Weitere Mengenoperationen

Date: November 3, 2022
Language: German
Duration: 01:29:15

Mengenoperationen & Mathematische Beweise

Date: November 7, 2022
Language: German
Duration: 01:41:51

Relationen

Date: November 8, 2022
Language: German
Duration: 00:47:07

Eigenschaften von Relationen

Date: November 14, 2022
Language: German
Duration: 01:31:17

Eigenschaften von Relationen & Äquivalenzrelationen

Date: November 15, 2022
Language: German
Duration: 01:38:09

Äquivalenzrelationen - Zerlegung

Date: November 22, 2022
Language: German
Duration: 01:29:37

Rechnen mit Äquivalenzrelationen

Date: November 24, 2022
Language: German
Duration: 01:33:00

Äquivalenzrelationen & Halbordnungsrelationen

Date: November 29, 2022
Language: German
Duration: 01:35:12

Abbildungen

Abbildungen und Funktionen

Date: December 1, 2022
Language: German
Duration: 01:22:04

Eigenschaften von Abbildungen

Date: December 5, 2022
Language: German
Duration: 01:32:23

Eigenschaften von Abbildungen 2

Date: December 6, 2022
Language: German
Duration: 01:33:39

Folgen und Mengenfamilien

Date: December 12, 2022
Language: German
Duration: 01:25:29

Mathematische Techniken

Vollständige Induktion

Date: January 3, 2023
Language: German
Duration: 01:30:54

Vollständige Induktion: Induktive Definition

Date: January 5, 2023
Language: German
Duration: 01:30:54

Grundlegende Beweisstrategien

Date: January 10, 2023
Language: German
Duration: 01:33:02

Grundlegende Beweisstrategien & Zählen - Kombinatorik

Date: January 17, 2023
Language: German
Duration: 01:28:36

Zählen - Kombinatorik

Date: January 19, 2023
Language: German
Duration: 01:33:43

Zählen (Fortsetzung)

Date: January 23, 2023
Language: German
Duration: 01:00:10

Zählen - Rechnen mit Binomialkoeffizient

Date: January 31, 2023
Language: German
Duration: 01:30:55

Diskrete Stochastik

Date: February 2, 2023
Language: German
Duration: 01:27:25

Diskrete Stochastik (Fortsetzung)

Date: February 6, 2023
Language: German
Duration: 01:28:15

Zufallsvariablen

Date: February 7, 2023
Language: German
Duration: 01:33:47