Automatisierte Logik und Programmierung II
Universität Potsdam, Sommersemester 2006
Sprechstunden:
-
Prof. Chr. Kreitz
(Raum 1.18):
dienstags 9:30-10:30
(und immer, wenn die Türe offen steht)
Aktuelles:
-
Als Termin für die mündlichen Prüfungen
schlage ich den 23. und 24.10. vor. Bitte senden Sie mir
eine e-mail, welcher Zeitraum dabei für Sie passt.
Zielgruppe:
ab 6. Semester
Umfang:
4 SWS (3 SWS Vorlesung, 1 SWS Übung)
Informatikfachzuordnung:
Theoretische Informatik
Leistungspunkte:
6 benotete Punkte
Zeit und Ort:
| Vorlesung: | Di | 13.30-15.00 | 03.04.1.02 |
|---|
| Vorlesung/Übung: | Mi | 11.00-12.30 | 03.04.0.02 |
|---|
Beginn:
| Vorlesung: | ab 18.4.2006 |
| Übung: | ab 26.4.2006 |
