Inhalt

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

Voraussetzungen

zwei abgeschlossene Fachsemester Informatik, Leistungsnachweis ADS

Literatur

wird mit der Ankündigung bekannt gegeben