Arbeitsgruppe Mathematische Logik und Theoretisch Informatik
|
Grundvorlesung
|
Einführung in die Theoretische Informatik
Prof. Dr. Klaus Ambos-Spies
Mo, Mi 11-13h, INF 308, HS 2
Beginn: Mo 11. April 2011
Übungen: Mo, Di, Mi 14-16h, AM, HS - 104
Zuordnung: Kerninformatik, Reine Mathematik
|
|
Spezialvorlesungen
|
Strongly Bounded Turing Reducibilities
Prof. Dr. Klaus Ambos-Spies
Di 11-13h, AM, HS - 104
Beginn: Di 12. April 2011
Zuordnung: Reine Mathematik
Randomisierte Algorithmen (mit integrierten Übungen)
Priv.-Doz. Dr. Wolfgang Merkle
Mo, Do 11-13h, AM, HS 134
Beginn: Mo 11. April 2011
Zuordnung: Kerninformatik
|
|
Seminare
|
Mathematische Logik
Prof. Dr. Klaus Ambos-Spies
Mo 16-18h, AM, HS - 104
Beginn: n.V.
Zuordnung: Reine Mathematik
Berechenbarkeit und Komplexität
Priv.-Doz. Dr. Wolfgang Merkle
Zeit und Raum: n.V.
Vorbesprechung: n.V.
Zuordnung: Kerninformatik, Reine Mathematik
|
|
Oberseminar
|
Mathematische Logik und Theoretische Informatik
Prof. Dr. Klaus Ambos-Spies, Priv.-Doz. Dr. Wolfgang Merkle
Di 16-18h, AM, HS 134
Beginn und Themen: siehe Aushang bei Zimmer 015
Zuordnung: Kerninformatik, Reine Mathematik
Kurzbeschreibung: Im Oberseminar werden aktuelle Arbeiten aus den Bereichen Mathematische Logik und Theoretische Informatik in Einzelvorträgen vorgestellt. Die Teilnahme am Oberseminar wird insbesondere den Studenten empfohlen, die ihren Studienschwerpunkt auf dieses Gebiet legen wollen.
|
