E-Mail Adressen der Tutor:innen

Adrian-Maurice Alex <adrianmaua01@zedat.fu-berlin.de>
Rafael Bürgisser    <rbuergisser@zedat.fu-berlin.de>
Max Glinka          <glim99@zedat.fu-berlin.de>
Alen Saric          <ales05@zedat.fu-berlin.de>
Lennard Scharein    <lennas51@zedat.fu-berlin.de>
Louisa Schüßler     <as2668fu@zedat.fu-berlin.de>
Alexander Stage     <staa00@zedat.fu-berlin.de>

Link zum Mattermost bei Problemen mit dem Mattermost vorher einmal mit Zedat Name bei https://portal.mi.fu-berlin.de/ anmelden. Wenn das Anmelden immer noch nicht möglich ist, bitte eine Mail an katharina.klost@fu-berlin.de

Link zum Lernzentrum

Qualifikationsziele

Die Studierenden ...
... formulieren³ Aussagen formal aussagenlogisch und prädikatenlogisch.
... analysieren⁴ und vereinfachen³ die logische Struktur gegebener Aussagen und beschreiben⁴ die logische Struktur von Beweisen.
... benennen Eigenschaften unterschiedlicher Mengen, Relationen und Funktionen und begründen⁴ diese mit Hilfe formaler Argumente.
... können Beweise für elementare Aussagen unter Verwendung elementarer Beweistechniken entwickeln⁵ und die Mächtigkeit von Mengen mit Hilfe kombinatorischer Techniken sowie Wahrscheinlichkeiten von Zufallsereignissen bestimmen³.
... sind in der Lage, Fragestellungen der (Bio-)Informatik mit Hilfe der Graphentheorie und der diskreten Wahrscheinlichkeitstheorie zu modellieren.^3.
... benennen Eigenschaften unterschiedlicher Graphen und begründen⁴ diese mit Hilfe formaler Argumente.

Inhalte

Studierende erlernen grundlegende Konzepte der Mengenlehre, Logik, Booleschen Algebra, Kombinatorik und Graphentheorie und üben deren Anwendung. Sie erarbeiten sich in der Mengenlehre Mengen, Relationen, Äquivalenz- und Ordnungsrelationen und Funktionen. Im Bereich der Logik und Booleschen Algebra erarbeiten sie sich Aspekte der Aussagenlogik, Prädikatenlogik, Erfüllbarkeitstests, sowie Boolesche Funktionen und Normalformen. Im Themenfeld Kombinatorik erlernen und diskutieren sie das Schubfachprinzip, Rekursion, Abzählprinzipien, Fakultät und Binomialkoeffizienten. Im Themenfeld Graphentheorie erarbeiten sie Repräsentationsformen, Wege, Kreise und Bäume. Zuletzt erarbeiten sie sich verschiedene Beweistechniken und grundlegende Aspekte Diskreter Wahrscheinlichkeitstheorie. Die meisten dieser Konzepte werden an Rechen- oder Beweisaufgaben geübt.

Literatur

• Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 2012

• Gerald Teschl, Susanne Teschl: Mathematik für Informatiker - Band 1, 2013 (https://link.springer.com/book/10.1007/978-3-642-37972-7)