Theoretische Informatik: Berechenbarkeit und Komplexität

Wintersemester 2024/25

bei Prof. Dr. Sibylle Schwarz

Pflichtmodul C144 im 1. Semester Master Informatik

Aktuelles

Einsicht in die Klausuren ist am Nachmittag das 23. April 2025 möglich. Link zur Terminreservierung im Opal-Kurs.

Lernziele / Kompetenzen

Nach erfolgreichem Abschluss des Moduls sind die Studierenden in der Lage, fundiert die prinzipiellen Möglichkeiten und Grenzen der verschiedenen Berechenbarkeitsmodelle einzuschätzen. Ebenso können sie Abwendungsprobleme hinsichtlich ihrer Schwere einschätzen. So können sie treffsicher adäquate Mittel für zu lösende algorithmische Aufgaben auswählen und einsetzen. Ferner können sie unlösbare oder schwer handhabbare Probleme als solche erkennen und ggf. z.B. auf Methoden für handhabbare Spezialfälle, Näherungslösungen ausweichen.

Inhalt

Vorlesung

Wöchentlich findet eine Vorlesung statt.

Seminare

Jeder Teilnehmer nimmt am wöchentlich stattfindenden Seminar teil.

In den Seminaren werden vorwiegend die Lösungen der schriftlichen Hausaufgaben besprochen und damit die Zulassungen zur Prüfung erworben.

Zur vertieften begleiteten Diskussion der Modulinhalte und Lösungsansätze zu den Übungsaufgaben sind die Foren im OPAL-Kurs zum Modul vorgesehen.

Jeder Student nimmt an der wöchentlich stattfindenden Übung zum Modul teil.

In den Übungen werden vorwiegend die Lösungen der schriftlichen Hausaufgaben besprochen und damit die Zulassungen zur Prüfung erworben.

Praktische Übungsaufgaben gibt es als Hausaufgaben im Autotool. (Hinweise für Autotool-Neulinge)

Literaturempfehlungen

Zusammenfassung, alle Folien

Unterlagen zu den Grundlagen-Modulen aus INB:

Bücher:

https://informatik.htwk-leipzig.de/schwarz mailto:sibylle.schwarz@htwk-leipzig.de