|
Kursusvorlesungen
|
Mathematische Logik
Prof. Klaus Ambos-Spies
Mo, Mi 9-11h, AM, HS - 104
Übungen: Mo, Di, Mi 14-16h
Beginn: Mo 12. Oktober 2009
Zuordnung: Reine Mathematik
Berechenbarkeit und Komplexität I
Priv.-Doz. Wolfgang Merkle
Do 14-18h, AM, HS - 113
Übungen: Mi 9-11h, AM, HS - 111
Beginn: Do 15. Oktober 2009
Zuordnung: Kerninformatik, Reine Mathematik
Beschreibung im KVV
|
|
Seminare
|
Theoretische Informatik
Prof. Klaus Ambos-Spies
Mo 16-18h, AM, HS - 104
Vorbesprechung: Mo 13. Juli 2009, 15.15 h, AM, HS -104
Beginn: voraussichtlich: Mo 9. November 2009
Zuordnung: Kerninformatik, Reine Mathematik
Berechenbarkeit und Komplexität
Priv.-Doz. Wolfgang Merkle
Zeit und Ort: n.V.
Vorbesprechung: Di 13. Oktober 2009, 13.30 h, AM, HS -104
Zuordnung: Kerninformatik, Reine Mathematik
Beschreibung im KVV
|
|
Oberseminar
|
Mathematische Logik und Theoretische Informatik
Prof. 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 empfohlen, die ihren
Studienschwerpunkt auf dieses Gebiet legen wollen.
|
