Lehrveranstaltungen
Wintersemester 2017/18

Einführende Veranstaltungen

• Vorlesung Einführung in die Programmierung
  4-std., Di 14-16 Uhr, Do 12-14 Uhr, Hofmann, Jost
• Vorlesung Grundlagen der Analysis
  2-std., Mi 10-12 Uhr, Fr 10-12 Uhr, Hofmann
• Softwareentwicklungspraktikum für das Nebenfach
  11-std., Barth, Jost
• Bachelor-Seminar Ausgewählte Themen der Informatik
  2-std., Hofmann, Jost, Schöpp

Weiterführende Veranstaltungen

• Vorlesung Komplexitätstheorie
  3-std., Di 16-18 Uhr, Do 16-18 Uhr, Johannsen
• Vorlesung Formale Spezifikation und Verifikation 2
  3-std., Di 12-15 Uhr, Beyer, Hofmann
• Praktikum Compilerbau
  4-std., Mo 14-18 Uhr, Schöpp
• Praktikum Modern Computer Architecture
  4-std, Blockpraktikum, Cichon
• Seminar Automatentheorie
  2-std., Barth

Lehramt

• Fachdidaktik II
  2-std., Do 8-10,Brichzin
• Begleitseminar zum studienbegleitenden Praktikum
  2-std., Do 10-12, Rosenbaum
• Staatsexamensvorbereitung
  2-std., Do 14-16, Gramlich, Kreidenweis, Maneggia, Rosenbaum

Sonstige

• Oberseminar Theoretische Informatik
  2-std., Fr 14-16, Hofmann