Mathematik I - Diskrete Strukturen und Logik (WS 2020/21)

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

Predecessor of this series: Mathematik I - Diskrete Strukturen und Logik (WS 2019/20)

Grundlagen

Aussagen

Date: November 3, 2020
Language: German
Duration: 01:31:00
Aussagen 01:31:00

Tautologien

Date: November 4, 2020
Language: German
Duration: 01:28:35

Aussageformen

Date: November 10, 2020
Language: German
Duration: 01:48:19

Mengen und Mengenoperationen

Date: November 11, 2020
Language: German
Duration: 01:35:00

Mengenkonstruktionen

Date: November 17, 2020
Language: German
Duration: 01:26:42

Mengenlehre Fortsetzung

Date: November 18, 2020
Language: German
Duration: 01:37:32

Relationen

Date: November 24, 2020
Language: German
Duration: 01:41:18

Eigenschaften von Relationen

Date: November 25, 2020
Language: German
Duration: 01:19:42