Komplexitätstheorie und Algorithmik hartnäckiger Probleme (PFK.2, PFK_4)
Fertigkeiten
Die Studierenden beherrschen den Umgang mit Typ2-, Typ1- und Typ0-Sprachen sowie die zugehörigen Maschinenmodelle (PFK.2)
Sie können mit formalen Modellen der Infomatik arbeiten (PFK_4, PFK_5)
Sie können die Kenntnisse der Berechenbarkeits-, Entscheidbarkeits- und Komplexitätstheorie auf praktische Probleme anwenden (PFK_2,PFK.3)
Sie sind in der Lage den Algorithmenbegriff zu präzisieren, die Tragweite von Algorithmen zu beschreiben und die Komplexität von Algorithmen zu bestimmen (PFK_2,PFK_4,PFK.7)
Sie sind in der Lage die prinzipielle Lösbarkeit algorithmischer Probleme zu untersuchen (PFK.4, PSK_3)