Theoretische Informatik: Berechenbarkeit und Komplexität

Wintersemester 2021/22

bei Prof. Dr. Sibylle Schwarz

Pflichtmodul C144 im 1. Semester Master Informatik


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.

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


Literaturempfehlungen

Zusammenfassung, alle Folien

Die Unterlagen zum Modul Theoretische Informatik: Berechenbarkeit und Komplexität im WS 2020/21 stehen hier.

Unterlagen zu den Grundlagen-Modulen aus INB:

Bücher:

Unter http://wilfridhodges.co.uk/cognitive01.pdf gibt es sieben uneingeschränkt richtige Hinweise zum Lernen von Mathematik, die selbstverständlich genauso für die theoretische Informatik gelten.


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