Vorlesung und Übung (6 SWS/9 ECTS)
In dieser Vorlesung wird in die Grundlagen der theoretischen Informatik eingeführt. Im Mittelpunkt stehen mathematische Modelle für Algorithmen, Automaten und formale Sprachen. Ebenso werden Fragestellungen behandelt, welche Berechnungsprobleme überhaupt algorithmisch lösbar sind und wie wie die Klasse der effizient lösbaren Berechnungsprobleme aussieht.
Termine
| Vorlesung: | Dienstag, 15:15-16:45 Uhr, R 611 (Sven Kosub) |
| Donnerstag, 10:00-11:30 Uhr, R 513 (Sven Kosub) | |
| Übung: | Montag, 11:45-13:15 Uhr, F 429 (4: Tobias . 2 . Toepfer @ uni . kn) |
| Montag, 15:15-16:45 Uhr, R 512 (1: Tobias . 2 . Toepfer @ uni . kn) | |
| Dienstag, 11:45-13:15 Uhr, G 308 (2: Juliane . Woehrn @ uni . kn) | |
| Dienstag, 13:30-15:00 Uhr, M 630 (3: Franziska . Obergfell @ uni . kn) | |
| Klausur: | Mittwoch, 26.07.2023, 14:00-16:00 Uhr, R 711 (Ersttermin) |
| Mittwoch, 11.10.2023, 11:00-13:00 Uhr, TBA (Zweittermin) |
Übungsblätter
Übungsblätter werden immer am Donnerstag (ausschließlich elektronisch) auf der Vorlesungsseite in ILIAS zur Verfügung gestellt.
Die Aufgaben sind innerhalb einer Woche zu bearbeiten. Die Abgabe der Lösung als PDF-Datei ist bis Donnerstag, 23:59 Uhr, per Upload nach ILIAS in die jeweilige Parallelgruppe möglich. Die Besprechung der Aufgaben und die Rückgabe der korrigierten und mit Punkten bewerteten Abgaben erfolgt in der Übung. Das Erlangen von mindestens der Hälfte der möglichen Punkte ist Voraussetzung für die Zulassung zur Klausur.
Alle Aufgaben können und sollen in Zweiergruppen bearbeitet werden.
Inhalt
Inhalte der Vorlesung:
- Algorithmentheorie
- Berechenbarkeitstheorie
- Komplexitätstheorie
- Automatentheorie
- Theorie der Formalen Sprachen
Skriptum
Im Laufe der Vorlesung wird ein Skript zur Vorlesung zur Verfügung gestellt werden. Die jeweils aktuelle Version finden Sie hier. Sollten Sie Anregungen zum Skript haben oder Fehler jeglicher Art finden, schreiben Sie bitte eine kurze Email.
Literatur
Ergänzendes und vertiefendes Material zu Vorlesung und Skriptum findet sich in folgenden Lehrbüchern:
- Klaus W. Wagner. Theoretische Informatik. Eine kompakte Einführung. 2. Auflage, Springer-Verlag, Berlin, 2003.
- Uwe Schöning. Theoretische Informatik - kurz gefasst. 5. Auflage, Spektrum Akademischer Verlag, Heidelberg, 2008.
- John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. 3. Auflage, Prentice Hall, Upper Saddle River, NJ, 2006.
- Avi Wigderson: Mathematics and Computation: A Theory Revolutionizing Technology and Science. Princeton University Press, Princeton, NJ, 2019.