Inhalt

Das Proseminar vertieft Inhalte aus den Grundvorlesungen der  Arbeitsgruppe Theoretische Informatik. Im Anschluss an die Vorlesung "Grundlagen der theoretischen Informatik" werden weiterführende Themen aus der Berechenbarkeits- und Sprachentheorie  behandelt.

Erster Termin: 16.10.2018

Voraussetzungen

zwei abgeschlossene Fachsemester Informatik, Leistungsnachweis GTI

Literatur

siehe Rubrik "Inhalte"