Aussageformen

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

Education

Courses

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

Share Aussageformen

Sign up to save your podcasts

Aussageformen

Aussageformen

More shows like Mathematik I - Diskrete Strukturen und Logik (WS 2018/19) - tele-TASK

Betriebssysteme II (SS 2018) - tele-TASK

Einführung in die Programmiertechnik II (SS 2018) - tele-TASK

Distributed Data Management (WT 2018/19) - tele-TASK

Distributed Data Management (WT 2019/20) - tele-TASK

Ringvorlesung - Practical Data Engineering (WT 2019/20) - tele-TASK

Internet Security - Weaknesses and Targets (WT 2020/21) - tele-TASK

Neurodesign Lecture - Artificial Intelligence and the Neuroscience of Creativity (WT 2020/21) - tele-TASK

Big Data Systems (WT 2020/21) - tele-TASK

Distributed Data Management (ST 2021) - tele-TASK