M
Mathematik I - Diskrete Strukturen und Logik (WS 2016/17) - tele-TASK


1
Mathematik I - Diskrete Strukturen und Logik (WS 2016/17) - tele-TASK
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
…
continue reading