Allgemeine Informationen:
Die Modulbeschreibung
KVV-Vorlesung (18.004)
KVV-Übungen (18.005)
Online-Anmeldung zu den Übungsgruppen
Zulassungsvoraussetzung zur Modulabschlussprüfung
Vorlesungsteile mit Übungsaufgaben und Vorlesungsunterlagen:
Einführung
Logik
Automaten, formale Sprachen Berechenbarkeit