Automaten, Sprache und Komplexität
Mitteilungen
Die Klausur findet am Freitag, 12.02.2021, 08:00 - 10:30 Uhr im R-Hs statt. Genauere Informationen finden Siehier.
Um Ihnen aktuelle Informationen zukommen lassen zu können, tragen Sie sich bitte im Moodle-System unter diesem Verweis ein. Dort finden Sie auch den Link für die Teilnahme an der online-Übung und die Möglichkeit, Übungsaufgaben zur Korrektur einzureichen.
Bis wenigstens 8.1.2021 wird die Vorlesung nur virtuell stattfinden. Daher finden Sie unten Aufzeichnungen der Vorlesungen. Diese arbeiten Sie bitte selbständig durch. Am Montag Abend (19 Uhr) wird es ein Webex-Treffen geben, in dem die aufgetretenen Fragen besprochen werden können. Hieran können Sie über diesen Verweis (Meeting-Kennummer 174 729 2039, Paßwort PUxh2kfzE66) teilnehmen.
Materialien
Vorlesungsfolien
Vorlesung 01 (12.10.20): Folien und Mitschnitt
Vorlesung 02 (14.10.20): Folien und Mitschnitt
Vorlesung 03 (19.10.20): Folien und Mitschnitt
Vorlesung 04 (21.10.20): Folien und Mitschnitt
Vorlesung 05 (26.10.20): Folien
Vorlesung 06 (28.10.20): Folien und Mitschnitt
Vorlesung 07 (02.11.20): Folien und Mitschnitt
Vorlesung 08 (04.11.20): Folien und Mitschnitt
Vorlesung 09 (09.11.20): Folien
Vorlesung 10 (16.11.20): Folien und Mitschnitt
Vorlesung 11 (18.11.20): Folien und Mitschnitt
Vorlesung 12 (23.11.20): Folien
Vorlesung 13 (25.11.20): Folien und Mitschnitt
Vorlesung 14 (30.11.20): Folien und Aufzeichnung Teil 1 und Teil 2
Vorlesung 15 (02.12.20): Folien und Aufzeichnung
Vorlesung 16 (07.12.20): Folien und Aufzeichnung
Vorlesung 17 (09.12.20): Folien und Aufzeichnung
Vorlesung 18 (14.12.20): Folien (Beweis auf Folie 18.27 korrigiert) und Aufzeichnung (fehlende Teile der Aufzeichnung)
Vorlesung 19 (16.12.20): Folien und Aufzeichnung
Vorlesung 20 (04.01.21): Folien und Aufzeichnung
Hier finden Sie die Arbeit "On computable numbers, and an application to the Entscheidungsproblem" von Alan Turing
Vorlesung 21 (06.01.21): Folien und Aufzeichnung
Vorlesung 22 (11.01.21): Folien und Aufzeichnung
Vorlesung 23 (13.01.21): Folien und Aufzeichnung
Vorlesung 24 (18.01.21): Folien und Aufzeichnung
Übungen
Übung 00 (Besprechung in Kalenderwoche 42)
Übung 01 (Abgabe bis spätestens 21.10.20 um 7:00 Uhr)
Übung 02 (Abgabe bis spätestens 28.10.20 um 7:00 Uhr)
Lösung zu Übung 2 Aufgabe 4
Übung 03 (Abgabe bis spätestens 04.11.20 um 7:00 Uhr)
Übung 04 (Abgabe bis spätestens 11.11.20 um 7:00 Uhr)
Übung 05 (Abgabe bis spätestens 18.11.20 um 7:00 Uhr)
Übung 06 (Abgabe bis spätestens 25.11.20 um 7:00 Uhr)
Übung 07 (Abgabe bis spätestens 02.12.20 um 7:00 Uhr)
Übung 08 (Abgabe bis spätestens 09.12.20 um 7:00 Uhr)
Übung 09 (Abgabe bis spätestens 16.12.20 um 7:00 Uhr)
Übung 10 (Abgabe bis spätestens 06.01.21 um 9:00 Uhr)
Übung 11 (Abgabe bis spätestens 13.01.21 um 9:00 Uhr)
Übung 12 (Abgabe bis spätestens 20.01.21 um 9:00 Uhr)
Termine
Vorlesungen:
Montag, 19:00 - 20:30 Uhr, Audimax, Prof. D. Kuske
Mittwoch, 7:00 - 8:30 Uhr, Audimax, Prof. D. Kuske
Übungen:
Mittwoch, 09:00 - 10:30 Uhr, Sr H 2507, Ch. Hugenroth
Mittwoch, 17:00 - 18:30 Uhr, Sr HU 117, Ch. Hugenroth
Freitag, 13:00 - 14:30 Uhr, e-Learning,C. Köcher