Lehrveranstaltungen im Wintersemester 08/09

• Pflichtmodule
  • Logik für Informatiker von Prof. Dr. Thomas Schwentick
    
  • Funktionales und regelbasiertes Programmieren (FRP) von Prof. Dr. Peter Padawitz
  • Funktionale Programmierung (FP) von Prof. Dr. Peter Padawitz
• Wahlpflichtmodule
  • Übersetzerbau von Prof. Dr. Peter Padawitz
• Wahlmodule
  • Logisch-Algebraischer Systementwurf 1 (LAS1)
     von Prof. Dr. Peter Padawitz

Lehrveranstaltungen der Masterstudiengänge

• Vertiefungsmodule
  • Logik und Komplexität von Prof. Dr. Thomas Schwentick
• Seminare
  
  • Executable Specification Languages von Prof. Dr. Peter Padawitz