Lehrveranstaltungen Sommersemester 2012

Arbeitsgruppe Mathematische Logik und Theoretische Informatik


Vorlesungen

Einführung in die Theoretische Informatik
Prof. Dr. Klaus Ambos-Spies
Mo 9-11h, Do 11-13h, INF 252, Hörsaal Ost
Beginn: Mo 16. April 2012
Übungen: Mo, Mi, Do 14-16h, Di 11-13h
Zuordnung: Kerninformatik, Reine Mathematik

Berechenbarkeit und Komplexität 2
Priv.-Doz. Dr. Wolfgang Merkle
Mo, Do 11-13h, AM (INF 294), HS 134
Beginn: Mo 16. April 2012
Übungen: n.V.
Zuordnung: Kerninformatik, Reine Mathematik

Seminare

Mathematische Logik  (Seminar und Proseminar)
Prof. Dr. Klaus Ambos-Spies
Mo 16-20h, AM (INF 294), HS - 104
Vorbesprechung:
Di 31. Januar 2012, 16:15h, AM (INF 294), HS - 104
Zuordnung: Reine Mathematik

Berechenbarkeit und Komplexität
Priv.-Doz. Dr. Wolfgang Merkle
Do 14-16h, AM (INF 294), HS -104
Vorbesprechungen: 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 (INF 294), 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 vorgest