Formale Grundlagen der Informatik
Vorlesung (Videos auf Moodle plus Zoominteraktion): Freitag, 8-10 Uhr
Beginn: 22.10.2021
WICHTIG: Die Übungsguppen finden teilweise in Präsenz und teilweise via Zoom statt.
Die Hörsaalanleitung findet in Präsenz statt.
Termine und Zugangsdaten werden über
Moodle bekannt gegeben
Beginn: 09.11.2021
Inhalt:
In der Vorlesung sollen die Grundlagen der Mathematik besprochen werden, die für das weitere Studium der Informatik unerlässlich sind. Was sind mathematische Aussagen? Wie beschreibt man Mengen? Wie werden Relationen und Abbildungen definiert? Und schließlich, wie geht man mit all diesen Begriffen um? Mit welchen Strategien kann man Ordnung in das Durcheinander bringen?
Die Vorlesung hat das Ziel ein gründliches Fundament zum richtigen Formulieren und Argumentieren zu legen.
Literatur:
Leistungsnachweis:
Die Klausur und Studienleistung. Die 90-minütige Klausur findet Mitte bis Ende Februar 2022 statt. Zur Klausur wird zugelassen, wer die Studienleistung erbracht hat. Diese gilt als erbracht, wenn eine Anmeldung in ecampus erfolgt ist und 50 % der Hausaufgaben korrekt bearbeitet wurden.
In der Vorlesung sollen die Grundlagen der Mathematik besprochen werden, die für das weitere Studium der Informatik unerlässlich sind. Was sind mathematische Aussagen? Wie beschreibt man Mengen? Wie werden Relationen und Abbildungen definiert? Und schließlich, wie geht man mit all diesen Begriffen um? Mit welchen Strategien kann man Ordnung in das Durcheinander bringen?
Die Vorlesung hat das Ziel ein gründliches Fundament zum richtigen Formulieren und Argumentieren zu legen.
Literatur:
- Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Springer Vieweg Lehrbuch
Leistungsnachweis:
Die Klausur und Studienleistung. Die 90-minütige Klausur findet Mitte bis Ende Februar 2022 statt. Zur Klausur wird zugelassen, wer die Studienleistung erbracht hat. Diese gilt als erbracht, wenn eine Anmeldung in ecampus erfolgt ist und 50 % der Hausaufgaben korrekt bearbeitet wurden.
