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

VL Einführung in die Beweiskomplexität

Dozent: Prof. Dr. Christoph Berkholz

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