Vorlesung Grundlagen der Theoretischen Informatik im SS 2019

Der bisher von mir angebotene Teil Formale Logik und Verifikation ist kein Bestandteil dieses Moduls mehr. Dieses Modul besteht künftig nur noch aus dem Vorlesungsteil Automaten und Formale Sprachen. Der Dozent ist Marco Pawlowski.

Der überwiegende Inhalt von Formale Logik wurde in meine Vorlesung Diskrete Mathematik integriert und ist seit einem Jahr 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.