Logik (Sommersemester 2017)

Organisation

Die erste Vorlesung findet am Mittwoch, 19.04.2017 statt.

Die Anmeldung zu den Übungen startet startet mit dem Vorlesungsbeginn und erfolgt über das Stat-System. Die erste Übung findet in der zweiten Vorlesungswoche statt.

Theoretical Computer Science Amendment

If you are taking the “Logik” lecture as part of the “Theoretical Computer Science Amendment” (see Module 89-5021), please contact Peter Zeller as early as possible. We will provide more information on request.

Klausurzulassung

Die erfolgreiche Teilnahme an den Übungen ist notwendig, um zur Abschlussklausur zugelassen zu werden. Die genauen Vorraussetzungen werden hier zu Beginn des Semesters bekannt gegeben.

Alte Klausur-Zulassungen bleiben bestehen, wir empfehlen aber, Vorlesung und Übungen erneut zu besuchen.

Kontakt

Die Vorlesung wird von Prof. Arnd Poetzsch-Heffter gehalten. Die Übungen werden von Peter Zeller organisiert.

Bei Fragen wenden Sie sich bitte an Peter Zeller.