Lehrveranstaltungen im Sommersemester 18

Lehrveranstaltungen der Bachelorstudiengänge

• Pflichtvorlesungen
  • Grundbegriffe der theoretischen Informatik von Prof. Dr. Thomas Schwentick
• Pflichtmodule
  • Logik für Informatiker von Prof. Dr. Peter Padawitz
• Wahlpflichtmodul
  
  • Fachprojekt Rapid Prototyping mit Haskell & Expander2 von Prof. Dr. Peter Padawitz

Lehrveranstaltungen der Masterstudiengänge

• Vertiefungsmodule
  • Logisch-Algebraischer Systementwurf von Prof. Dr. Peter Padawitz
• Basismodule
• Komplexitätstheorie von Prof. Dr. Thomas Schwentick