Prof. Dr. Hans-Georg Rück
Fachbereich 10, Institut für Mathematik
WS 2018/19
Beginn 19.10.2018

Formale Grundlagen der Informatik

Fr 8-10 Uhr, HS 1603, Wilhelmshöher Allee 73

Übungen Mo 16-18, Mi 8-10 (2 Gruppen), Do 14-16, Fr 10-12 Uhr



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:


Weitere Literatur wird in der Vorlesung genannt werden.



Leistungsnachweis:
Klausur und Studienleistung. Die 90-minütige Klausur findet im Prüfungszeitraum Ende Februar/Anfang März 2019 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.