Lehrveranstaltungen Sommersemester 2010

Arbeitsgruppe Mathematische Logik und Theoretische Informatik


Grundvorlesungen

Einführung in die Theoretische Informatik
Priv.-Doz. Wolfgang Merkle
Mo, Mi 11-13h, INF 308, HS 2
Beginn: Mo 12. April 2010
Übungen: Mo 14-16h, AM, HS - 111, Philipp Bodewig
Di 14-16h, INF 348, HS 15, Lutz Büch
Mi 14-16h, AM, HS - 104, Sabrina Grimm
Zuordnung: Kerninformatik, Reine Mathematik

Seminare

Mathematische Logik
Priv.-Doz. Wolfgang Merkle und Dipl.-Math. Thorsten Kräling
Mo 16-19h, AM, HS 134
Beginn: Mo 19. April 2010
Zuordnung: Reine Mathematik

Berechenbarkeit und Komplexität
Priv.-Doz. Wolfgang Merkle
Zeit und Raum: Do 16-18h, AM, HS 134
Vorbesprechung: Do 15. April 2010, 13:30h, AM, HS - 104
Zuordnung: Kerninformatik, Reine Mathematik

Oberseminar

Mathematische Logik und Theoretische Informatik
Prof. Dr. Klaus Ambos-Spies, Priv.-Doz. 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 emp