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

Live

Live

Date: December 1, 2022
Language: German
Duration: 01:30:00
Live 01:30:00

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