Logik in der Informatik
Prof. Dr. Nicole Schweikardt |
Prof. Dr. Christoph Berkholz |
Willkommen auf den Webseiten der Arbeitsgruppen "Theoretische Informatik" und "Logik und Komplexität"!
Aktuelles:
- Der "zweite Prüfungszeitraum im WS19/20" (dies betrifft alle Prüfungen ab dem 23.03.2020) wurde per Eilentscheid der Fakultät vom 17.03.2020 auf "eine noch genauer festzulegende Zeit nach dem Beginn des Sommersemesters" verschoben. Der Prüfungsplan mit den Zeit- und Raumangaben wird rechtzeitig (4 Wochen vor Beginn des Prüfungszeitraums) bekannt gegeben.
Weitere Informationen zu HU-weiten Regelungen, weitere spezifische Informationen zu Lehre und Studium an der Mathematisch-Naturwissenschaftlichen Fakultät der HU .
