AG Programmiersprachen und Übersetzerkonstruktion

Lehrveranstaltungen im Sommersemester 2003

  •     Vorlesung "Logikprogrammierung" (Ankündigung)
  •     Seminar "Programmierung verteilter Systeme" (Ankündigung)
  •     Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
  •     Vorlesung "Systematisches Programmieren" (Ankündigung)
  •     Arbeitsgemeinschaft "Informatik, Logik und Mathematik"