Mathematik I - Diskrete Strukturen und Logik (WS 2019/20)

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 2018/19)

Grundlagen

Aussagen

Date: October 15, 2019
Language: German
Duration: 01:28:36
Views: 175
Aussagen 01:28:36

Tautologien

Date: October 16, 2019
Language: German
Duration: 01:26:32
Views: 90

Aussageformen

Date: October 22, 2019
Language: German
Duration: 00:47:50
Views: 90

Mengenlehre

Date: October 23, 2019
Language: German
Duration: 01:27:50
Views: 91

Mengenkonstruktionen

Date: November 5, 2019
Language: German
Duration: 01:26:15
Views: 64

Weitere Mengenoperationen

Date: November 6, 2019
Language: German
Duration: 01:30:14
Views: 62

Beweistechniken

Date: November 12, 2019
Language: German
Duration: 01:24:32
Views: 44