Automatisierte Logik und Programmierung II
Universität Potsdam, Sommersemester 2009
Sprechstunden:
-
Prof. Chr. Kreitz
(Raum 1.18):
Mittwochs 9:30-10:30
(und immer, wenn die Türe offen steht)
Aktuelles:
-
Am Freitag, den 25.6. muss die Veranstaltung ausnahmsweise
im Raum S.25 stattfinden
Zielgruppe:
ab 6. Semester
Umfang:
4 SWS (3 SWS Vorlesung, 1 SWS Übung)
Informatikfachzuordnung:
Theoretische Informatik
Leistungspunkte:
6 benotete Punkte
Zeit und Ort:
| Vorlesung: | Do | 10.15-11.45 | 3.06.S14 |
|---|
| Vorlesung/Übung: | Fr | 12.30-14.00 | 3.06.S15 |
|---|
Beginn:
| Vorlesung: | ab 30.04.2009 |
| Übung: | ab 15.05.2009 |
