Lehrveranstaltungen im Sommersemester 11

Lehrveranstaltungen der Bachelorstudiengänge

• Pflichtmodule
  • Grundbegriffe der theoretischen Informatik von Prof. Dr. Thomas Schwentick 

Lehrveranstaltungen der Masterstudiengänge

• Basismodule
  • Commonsense Reasoning von Prof. Dr. Gabriela Kern-Isberner
• Vertiefungsmodule
  • Funktionales und Regelbasiertes Programmieren von Prof. Dr. Peter Padawitz
  • Logisch-Algebraischer Systementwurf von Prof. Dr. Peter Padawitz
  • Logik und Komplexität von Prof. Dr. Thomas Schwentick
• Seminare
  • Executable Specification Languages von Prof. Dr. Peter Padawitz
  • XML in Theorie und Praxis von JProf. Wim Martens

     

Exportveranstaltungen

• PIWIN II von Dr. Lars Hildebrand