Lehrveranstaltungen Wintersemester 2011/2012

Arbeitsgruppe Mathematische Logik und Theoretisch Informatik


Kursusvorlesungen

Mathematische Logik
Prof. Dr. Klaus Ambos-Spies
Mo, Mi 9-11h, INF 294/AM, HS -104
Beginn: Mi 12. Oktober 2011
Übungen: Mo, Di, Mi 14:00 - 16:00h
Zuordnung: Reine Mathematik

 

Berechenbarkeit und Komplexität
Priv.-Doz. Dr. Wolfgang Merkle
Mo, Do 11-13h, INF 294/AM, HS134
Beginn: Mo 10. Oktober 2011
Übungen: Di 14:00 - 16:00h
Zuordnung: Kerninformatik, Reine Mathematik

Spezialvorlesungen

Logik in der Informatik. Kalküle
Prof. Dr. Wolfgang Schönfeld
Mo 16-18h, INF 368, Raum 532
Beginn: Mo 17. Oktober 2011
Zuordnung: Kerninformatik

Seminare

Theoretische Informatik  (Seminar und Proseminar)
Prof. Dr. Klaus Ambos-Spies
Mo 16-18h, AM, HS - 104
Vorbesprechungen:
Do 21. Juli 2011, 16:15h, INF 294, HS - 102
Mo 17. Oktober 2011, 16:15h, INF 294, HS - 104
Zuordnung: Kerninformatik, Reine Mathematik

Berechenbarkeit und Komplexität
Priv.-Doz. Dr. Wolfgang Merkle
Zeit und Raum: n.V.
Vorbesprechungen:
Di 19. Juli 2011, 13:15h, INF 294, HS - 101,
Di 11. Oktober 2011, 14:15h, INF 294, HS - 111
Interessenten können sich wegen der Vergabe von Themen schon vorher melden.
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 vorg