Logic and Verification (BSc)
Personen
Prof. Dr. Jürgen Dix
Tobias Ahlbrecht, M.Sc.
Wichtig!
- Anmeldung: Anmeldung im StudIP-System erforderlich. Alle weiteren Informationen (News, Aufgabenzettel,...) werden dort bereitgestellt.
- Videoaufzeichnung: Vorlesung aus dem Sommer 2016
Übungen, Scheine und Prüfungen
- Übungen: Die Lösungen müssen zum entsprechenden Abgabetermin abgegeben werden.
- Teilnahmeschein: Voraussetzungen gemäß Vorlesungsfolien
- Prüfung: tba