Automaten, Sprachen, Komplexität
Vorlesung im Sommersemester 2017
Ansprechpartnerin
Name
- E-Mail schreiben
Termine
Vorlesung
Mo, 10:15 - 11:45 Uhr (AH II)
Übung
Mo, 15:15 - 16:00 Uhr (AH III)
Mi, 14:15 - 15:00 Uhr (5054)
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.
Voraussetzungen
Es werden keine besonderen Vorkenntinisse vorausgesetzt.
Organisation
Die Vorlesung wird auf Deutsch gehalten.
Termine
Montag, 10:15 Uhr - 11:45 Uhr im 2350|111 (AH II)
Dozent
Übungsaufgaben
Wir werden wöchentliche Übungsaufgaben veröffentlichen. Das erfolgreiche Bearbeiten dieser Aufgaben, sammeln mindestens 50% der erreichbaren Punkte, ist erforderlich für die Klausurzulassung.
Die Lösungen der Übungsaufgaben werden immer Montags, 15:15-16:00 Uhr im 2350|314.1 (AH III) vorgestellt.
Außerdem findet Mittwochs, 14:15-15:00 Uhr im Raum 2356|054 (5054) eine Diskussionsstunde statt.
Klausur
Zum erfolgrichen Absolvieren der Vorlesung gehört das bestehen einer schriftlichen Klausur.
Die genauen Details zur Klausur werden im L2P bekannt gegeben.