Inhalt

Das Proseminar vertieft Inhalte aus den Grundvorlesungen der Arbeitsgruppe Theoretische Informatik. Im Wintersemester werden weiterführende Themen aus der Berechenbarkeits- und Sprachentheorie behandelt (im Anschluss an "Grundlagen der theoretischen Informatik"); im Sommersemester geht es um Themen aus der Algorithmik (im Anschluss an "Algorithmen und Datenstrukturen").

Voraussetzungen

zwei abgeschlossene Fachsemester Informatik, Inhalte aus Algorithmen und Datenstrukturen

Literatur

wird mit der Ankündigung bekannt gegeben