Rechnen mit Äquivalenzrelationen

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 Rechnen mit Äquivalenzrelationen

Sign up to save your podcasts

Rechnen mit Äquivalenzrelationen

Rechnen mit Äquivalenzrelationen

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

Internet- und WWW-Technologien (SS 2016) - 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

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

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

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

Big Data Systems (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