Lehrveranstaltungen Sommersemester 2011

Arbeitsgruppe Mathematische Logik und Theoretische 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 empfo