Automatisierte Logik und Programmierung I Universität Potsdam, Wintersemester 2008/2009

Sprechstunden:

  • Prof. Chr. Kreitz (Raum 1.18): Mittwochs 9:30-10:30 und immer, wenn die Türe offen ist

Aktuelles:

Veranstalter:

Prof. Dr. Christoph Kreitz, N.N.

Zielgruppe:

ab 7. Semester

Umfang:

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

Informatikfachzuordnung:

Theoretische Informatik, Angewandte Informatik

Leistungspunkte:

6 benotete Punkte

Voraussetzungen:

Gute Logikvorkenntnisse dringend empfohlen. Teilnahme für Bachelorstudenten ab 5. Fachsemester nach Rücksprache möglich

Zeit und Ort:

Vorlesung:Di11:00-12:3003.04.0.02
Vorlesung/Übung: Mi13:30-15:0003.04.1.02

Beginn:

21.10.2008

Belegung:

Die Belegung erfolgt elektronisch entsprechend den Bestimmungen des Instituts für Informatik.
Datenschutzerklärung · XHTML · CSS  Letzte Änderung:  tim at-Zeichen cs Punkt uni-potsdam Punkt de,  26.03.2009