Vorlesung Grundlagen der Theoretischen Informatik im SS 2020

Der bisher von mir angebotene Teil Formale Logik und Verifikation ist seit 2019 kein Bestandteil dieses Moduls mehr. Dieses Modul besteht gegenwärtig nur noch aus dem Vorlesungsteil Automaten und Formale Sprachen. Der Dozent ist Marco Pawlowski. In zukünftigen Studienordnungen wird es das Modul Grundlagen der Theoretischen Informatik gar nicht mehr geben. Die Vorlesung Automaten und Formale Sprachen wird aber erhalten bleiben und mit der Vorlesung Compilerbau in einem Modul zusammengelegt.

Der überwiegende Inhalt von Formale Logik wurde in meine Vorlesung Diskrete Mathematik integriert und ist seit 2 Jahren auch schon Bestandteil der Klausur. Der bisherige Inhalt von Verifikation wird vorerst in keiner Vorlesung des Bachelorstudiums an der FH Wedel mehr thematisiert. In meiner Mastervorlesung Algorithmik wird das aber für ausgewählte Algorithmen durchgenommen.