Inhalt

Das Proseminar vertieft Inhalte aus den Grundvorlesungen der Arbeitsgruppe Theoretische Informatik. In diesem Semester werden wir als weiterführendes Themen aus der Berechenbarkeits- und Sprachentheorie Pflasterungen behandeln (im Anschluss an "Grundlagen der theoretischen Informatik").

Voraussetzungen

zwei abgeschlossene Fachsemester Informatik, Vorlesung Grundlagen der Theoretischen Informatik

Literatur

wird mit der Ankündigung bekannt gegeben