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

Design Thinking for Digital Engineering (SS 2018) - tele-TASK

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

Internet Security (WT 2018/19) - tele-TASK

Neurodesign Lecture – Physiological Perspectives on Engineering Design, Creativity, Collaboration and Innovation (WT 2019/20) - tele-TASK

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

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

Distributed Data Management (ST 2021) - tele-TASK

Neurodesign Lecture - Designing for Empathy in Business Contexts (Wintersemester 2021/2022) - tele-TASK

Betriebssysteme I (WS 2021/22) - tele-TASK

Ringvorlesung - Database Research (WT 2021/22) - tele-TASK