Automatisierte Logik und Programmierung I Universität Potsdam, Wintersemester 2005/2006

Sprechstunden:

  • Prof. Chr. Kreitz (Raum 1.18): mittwochs 11:15-12:15 (und immer, wenn die Türe offen steht)

Aktuelles:

Die Vorlesung beginnt morgens erst um 9:25.

Zielgruppe:

ab 5. Semester

Umfang:

4 SWS (3 SWS Vorlesung, 1 SWS Übung)

Informatikfachzuordnung:

Theoretische Informatik, Angewandte Informatik

Leistungspunkte:

6 benotete Punkte

Zeit:

Vorlesung: Di9:25-10:45
Vorlesung/Übung: Di13:30-15:00

Ort:

3.04.1.02

Beginn:

18.10.2005

Belegung:

Die Belegung erfolgt elektronisch entsprechend den Bestimmungen des Instituts für Informatik.