Hallo *,
die Termine für die mündlichen Prüfungen am Institut für Theoretische Informatik stehen fest:
Mündlich Vollmer (Effiziente Algorithmen, Komplexitätstheorie, Theorie Boole'scher Schaltkreise, Formale Sprachen, Berechenbarkeit und Logik): 24.7., 10.10., 11.10.
Mündlich Meier (Advanced Logics/Logik und Komplexität): 25.07., 10.10.
Das Anmeldeprozedere ist wie immer auf unserer Webseite unter
http://www.thi.uni-hannover.de/lehre/pruefungsanmeldung/ erklärt.
Liebe Grüße,
Arne Meier