Modulhandbuch MaTIN2012_Theoretische Informatik

Modul

Anerkennbare Lehrveranstaltung (LV)

• F07 THI

Organisation

Zeugnistext

de

en

Unterrichtssprache

Modulprüfung

Prüfungselemente

Vorlesung / Übung

Spezifische Lernziele

Lerninhalte(Kenntnisse)

• Mathematische Grundlagen der Theoretischen Informatik (PFK.2 PFK.4)
• Einführung Theoretische Informatik mittels Endlicher Automaten (PFK.2, PFK.4)
• Typ2-,Typ1-, Typ0-Sprachen (PFK.2)
• Turingmaschinen (PFK.2)
• Berechenbarkeit (PFK.2)
• Entscheidbarkeit (PFK.2)
• 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)

Exemplarische inhaltliche Operationalisierung