Formale Grundlagen der Informatik
Vorlesung: Freitag, 8-10 Uhr, Hörsaal 1603
Wilhelmshöher Allee 73
Übungen Mo 16-18, Mi 8-10 (2 Gruppen), Do 14-16, Fr 10-12 Uhr
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:
Leistungsnachweis:
Die 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.
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 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.
