AG Programmiersprachen und Übersetzerkonstruktion

Lehrveranstaltungen im Sommersemester 2003

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