Lehrveranstaltungen Wintersemester 2010/2011

Arbeitsgruppe Mathematische Logik und Theoretisch Informatik


Kursusvorlesungen

Mathematische Logik
Prof. Klaus Ambos-Spies
Mo, Mi 9-11h, AM, HS - 104
Übungen: Mo 14 - 16h und 16 - 18h, Mi 14 - 16h
Beginn: Mi 13. Oktober 2010
Zuordnung: Reine Mathematik

Formale Sprachen und Automatentheorie
Priv.-Doz. Wolfgang Merkle
Mo, Do 11-13h, AM, HS 134
Übungen: Di, Mi 14 - 16h
Beginn: n.V.
Zuordnung: Kerninformatik, Reine Mathematik

Spezialvorlesungen

Logik in der Informatik. Tableaukalkül
Prof. Wolfgang Schönfeld
Mo 16-18h, OMZ (INF 350), R U014
Beginn: Mo 18. Oktober 2010

Proseminare

Theoretische Informatik
Prof. Klaus Ambos-Spies
Mo 16-18h, AM, HS - 104
Vorbesprechung: Mo 18. Oktober 2010, 15.15 h, AM, HS -104
Beginn: n.V.
Zuordnung: Kerninformatik, Reine Mathematik

Seminare

Theoretische Informatik
Prof. Klaus Ambos-Spies
Mo 16-18h, AM, HS - 104
Vorbesprechung: Mo 18. Oktober 2010, 15.15 h, AM, HS -104
Beginn: n.V.
Zuordnung: Kerninformatik, Reine Mathematik

Berechenbarkeit und Komplexität
Priv.-Doz. Wolfgang Merkle
Zeit und Ort: n.V.
Vorbesprechung: Di 19. Oktober 2010, 13.30h, AM, HS -104
Zuordnung: Kerninformatik, Reine Mathematik

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 wol