Logic and Verification (BSc)
Personen
Prof. Dr. Jürgen Dix
Tobias Ahlbrecht, M.Sc.
Die Betreuung in Göttingen übernimmt:
Benjamin Leiding
Wichtig!
- Vorlesungsbeginn: Montag, der 08. April um 10:00 Uhr.
- Anmeldung: Anmeldung im StudIP-System erforderlich. Alle weiteren Informationen (News, Aufgabenzettel,...) werden dort bereitgestellt.
- Anmeldung der Göttinger Studenten: Ebenfalls über StudIP.
- Videoaufzeichnung: Vorlesung aus dem Sommer 2016
Übungen, Scheine und Prüfungen
- Übungen: Die Lösungen müssen zum entsprechenden Abgabetermin abgegeben werden.
- Teilnahmeschein: Abgabe der Aufgabenzettel in Gruppen von (bis zu) 2 Studierenden und mindestens 50% der Gesamtpunktzahl aller Aufgabenzettel **und** 20% der Punkte von jedem Zettel und 2 mal in der Übung "vorrechnen".
- Prüfung: (vorauss.) 16. September 2019, 09:00 (Klausur, 120 Min.)
- Vorlesungstermine: Montags und Dienstags, 10:00 Uhr (ausgenommen Feiertage und Übungstermine)
Downloads
Folien (3.3 M)
Slides (Chapters 1-3, v1.0)
Übung 1 (159 K)