Lehrveranstaltungen
Wintersemester 2020/21

Einführende Veranstaltungen

• Softwareentwicklungspraktikum für das Nebenfach
  11-std., Barth, Vaupel
• Bachelor-Seminar Perlen der funktionalen Programmierung
  2-std., Sabel

Weiterführende Veranstaltungen

• Vorlesung Algorithmik und Komplexität: Prinzipien, Algorithmen und Modelle der Nebenläufigen Programmierung
  3-std., Mi 10-12, Fr 10-12, Sabel
• Vorlesung SAT Solving
  3-std., Di 16-18 Uhr, Do 14-16 Uhr, Johannsen

Lehramt

• Fachdidaktik II
  2-std., Mi 16-18 Uhr, Rau
• Begleitseminar zum studienbegleitenden Praktikum
  2-std., Mi 14-16 Uhr, Jetzinger, Zemanyk
• Staatsexamensvorbereitung
  2-std., Mi 10-12 Uhr, Jetzinger, Maneggia,Zemanyk

Sonstige

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