Lehrveranstaltungen im Sommersemester 09

Lehrveranstaltungen der Bachelorstudiengänge

• Pflichtmodule
  • Grundbegriffe der theoretischen Informatik von Prof. Dr. Thomas Schwentick 
  • Praktische Informatik für Wirtschaftsmathematiker, Ingenieure und Naturwissenschaftler II von Dr. Lars Hildebrand
• Wahlmodule
  • Einführung in die Grundlagen des Model Checking von Prof. Dr. Thomas Schwentick
  • Effiziente Algorithmen von Dr. Wim Martens  
• Fachprojekte
  • Rapid Prototyping mit Expander2 von Prof. Dr. Peter Padawitz

Lehrveranstaltungen der Masterstudiengänge

• Basismodule
  • Verteilte Algorithmen von Prof. Dr. Thomas Schwentick 
• Vertiefungsmodule
  • Logisch-algebraischer Systementwurf 1: Test, Verifikation, Transformation von Prof. Dr. Peter Padawitz
• Seminare
  • Executable Specification Languages von Prof. Dr. Peter Padawitz