Logic and
Theory of
Discrete Systems

Informatik 7

Automaten, Sprachen, Komplexität

Vorlesung im Sommersemester 2018

Diese Vorlesung wird auf deutsch gehalten. Weiterführende Informationen finden Sie im L2P-Lernraum.

Art Termine/Ort Beginn Veranstalter
V2 Fr 10:15–11:45, AH II Fr, 13. April Löding
Ü1 Mi 13:15–14:00, AH III (Globalübung)
Mi 14:00–14:45, AH III (Diskussionsstunde)
Mi, 25. April
Mi, 18. April
Löding, Wiebking

Inhalt

In dieser Vorlesung wird – verankert in Beispielen aus den Anwendungen – eine Einführung in zentrale Begriffe und Sachverhalte der theoretischen Informatik gegeben. Dabei werden verschiedene Automatenmodelle, Methoden der Spezifikation formaler Sprachen sowie Fragen zur Berechenbarkeit und Berechnungskomplexität behandelt.

Datenschutzerklaerung