Die Lehrveranstaltung Grundlagen der Theoretischen Informatik II ist die Fortführung der Vorlesung Grundlagen der Theoretischen Informatik.
Das Motto lautet Vertiefen, Erweitern und Ergänzen des Stoffes des ersten Teils.
Also geht es wiederum um Komplexitätstheorie, Berechenbarkeitstheorie, formale Sprachen und Automatentheorie.
Teilnahme an der Klausur:
Die in dieser Vorlesung erreichte Berechtigung gilt für die Teilnahme
an der Prüfungsklausur (benotete Leistung) sowie
an der Klausur zum Erwerb eines unbenoteten Leistaungsnachweises
nach dem aktuellen Semester
oder deren Wiederholung nach dem darauffolgenden Semester.
Achtung: Gelingt es nicht, eine der beiden Klausuren zum Erwerb eines unbenoteten Leistaungsnachweises zu bestehen,
verfällt die erfolgreiche Teilnahme an den Übungen .