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"