Automaten, Sprachen, Komplexität
Vorlesung im Sommersemester 2020
Termine
Vorlesung:
Mo, 12:30 - 14:00 Uhr im AH II
Übung:
Mo, 14:15 - 15:00 Uhr im AH III
Di, 14:15 - 15:00 Uhr im AH I
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 Vorkenntnisse vorausgesetzt.
Organisation
Die Vorlesung wird auf Deutsch gehalten.
Termine
Vorlesung: Montags, Video-Upload in Moodle
Tutoriums: Montags 14:15-15:00 Uhr und Donnerstags 10:30-11:15 Uhr
Globalübung: Donnerstags 11:15-12:00 Uhr
Dozent
Übungsaufgaben
Wir werden wöchentliche Übungsaufgaben veröffentlichen. Das erfolgreiche Bearbeiten dieser Aufgaben, mindestens 50% der erreichbaren Punkt,) ist erforderlich für die Klausurzulassung.
Klausur
Zum erfolgreichen Absolvieren der Vorlesung gehört das Bestehen einer schriftlichen Klausur.
Die genauen Details zur Klausur werden in Moodle bekannt gegeben.