Theoretische Informatik: Berechenbarkeit und Komplexität

Wintersemester 2021/22

bei Prof. Dr. Sibylle Schwarz

Pflichtmodul C144 im 1. Semester Master Informatik


Aktuelles

Aufgrund der aktuellen Situation finden ab KW47 vorerst Vorlesungen und Seminare online per BBB statt (zu den üblichen Zeiten).

Die Zugangsdaten werden jeweils kurz vorher im Opal-Kurs zum Modul bekanntgegeben (oder im Autotool, falls Opal nicht funktioniert).

Vorlesungen und ein Seminar finden für alle Teilnehmer gemeinsam statt.


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.

  1. Serie bis 21. 10. 2021
  2. Serie bis 28. 10. 2021
  3. Serie bis 4. 11. 2021
  4. Serie bis 11. 11. 2021
  5. Serie bis 18. 11. 2021
  6. Serie bis 25. 11. 2021
  7. Serie bis 2. 12. 2021

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


Literaturempfehlungen

Folien zur aktuellen Vorlesung (werden jeweils nach der Vorlesung veröffentlicht):

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