Einführung in die Theoretische Informatik

Dozent
Prof. Dr. Frank Vallentin

Koordination der Übungen
Maria Dostert, M.Sc. / Ab Januar: Dr. Anna Gundert

Inhalt
Die Vorlesung vermittelt die theoretischen Fundamente der Informatik in den Bereichen Formale Sprachen, Automatentheorie, Berechenbarkeit und vor allem Komplexität. Die in „Grundzüge der Informatik 2“ vermittelten Grundkenntnisse zur Berechenbarkeits- und Entscheidbarkeitstheorie, sowie zur Komplexitätstheorie, werden in dieser Veranstaltung vertieft. Des Weiteren wird eine Einführung in die Kryptographie und in die Theorie der Quantencomputer gegeben.

Vorlesungstermin und -ort
mittwochs 12:00-13:30 Uhr
freitags 8:00-9:30 Uhr
Hörsaal des MI (Raum 203)

Übungstermin und -ort
freitags 10:00-11:30 Uhr, Seminarraum 231 COPT

Klausurtermin: 14.2. 14 Uhr-16 Uhr (Chemie 1). Anstatt einer Nachklausur finden mündliche Prüfungen statt.