Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

SE Beweiskomplexität

Dozent: Prof. Dr. Christoph Berkholz

Die Seminar findet als Blockseminar statt. Alle Informationen zum Seminar werden auf der Moodle-Plattform bereitgestellt. Bitte schreiben Sie sich dort bis 24.04. in den Kurs unter https://moodle.hu-berlin.de/enrol/index.php?id=96034 ein. Der Einschreibeschlüssel wurde an die über AGNES eingeschriebenen Studierenden verschickt und kann per Mail an den Dozenten erfragt werden.