Modul: Theoretische Informatik I

Inhalte

Die Theoretische Informatik beschäftigt sich mit den grundlegenden Fragestellungen der Informatik. Dazu zählen insbesondere die Gebiete der Berechenbarkeit, Effiziente Algorithmen und ihrer Analyse, Komplexitätstheorie sowie die formalen Konzepten der Informatik.

Im Modul werden die Grundbegriffe und Konzepte der Theoretischen Informatik eingeführt. Das Themenspektrum umfasst formale Computermodelle (Turing Maschinen, Pushdown Automaten, endliche Automaten), formale Sprachen und Grammatiken (reguläre Sprachen, kontextsensitive Sprachen, Chomsky Hierarchie) sowie effizienten Algorithmen, ihre Analyse und Komplexität.

Qualifikationsziele

Die Studierenden erwerben detailliertes Wissen über die im Modul gegenständlichen Fachthemen.

Die Studierenden

• erlangen fachspezifische theoretische und methodische Kenntnisse;
• sammeln Erfahrung in der Formalisierung und Abstraktion von Problemstellungen;
• lernen die eigenständige Nachbearbeitung eines Themas auf Grundlage von Primär- und Sekundärliteratur;
• erlernen das Arbeiten unter Zeit- und Ressourcenvorgaben;
• sammeln Erfahrung in der Selbstorganisation;
• erweitern ihre Lernfähigkeiten;
• üben sich im Zeitmanagement.

Eine Prüfung der folgenden Formen:

Klausur, 120-180 Minuten

Mündliche Prüfung, 25-45 Minuten

Übungsaufgaben (80%)

WiSe