Die Vorlesung findet vorrangig in Präsenz statt. Für Studierende, die nicht in Präsenz teilnehmen können gibt es hier die Möglichkeit die Vorlesung über Webex zu verfolgen.
Meeting link: https://fu-berlin.webex.com/fu-berlin-en/j.php?MTID=m77fe6843f3acedae6e5d99af7f5a36d2
Meeting number: 2732 291 2166
Password: WqJ3h724g28
Meeting links Online-Tutorien:
Maximilian Glinka: https://fu-berlin.webex.com/meet/glim99
Fabian Halama: https://fu-berlin.webex.com/webappng/sites/fu-berlin/dashboard/pmr/fabian.halama
Adrian-Maurice Alex: https://fu-berlin.webex.com/meet/adrianmaua01
Nils Goldmann: https://fu-berlin.webex.com/meet/nils.goldmann
Johannes Voderholzer: https://fu-berlin.webex.com/meet/voderhoj00
- Aussagenlogik und mathematische Beweistechniken
- Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
- Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
- Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
- Prädikatenlogik und mathematische Strukturen
- Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
- Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume
Literatur
- Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
- Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5. Auflage 2000
- Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
- M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004