Lehrveranstaltungen Wintersemester 2008/2009

Arbeitsgruppe Mathematische Logik und Theoretisch Informatik

Kursusvorlesungen	Mathematische Logik Prof. Klaus Ambos-Spies Mo, Mi 9-11h, AM, HS - 104 Übungen: Mo 14-16h bzw. Di 14-16h, AM, HS - 104, Mi 14-16h, AM, HS - 106 Beginn: Mo 6. Oktober 2008 Zuordnung: Reine Mathematik Formale Sprachen Priv.-Doz. Wolfgang Merkle Mo 11-13h, AM, HS 134 Do 11-13h, AM, HS - 101 Beginn: Mo 6. Oktober 2008 Zuordnung: Kerninformatik, Reine Mathematik
Spezialvorlesungen	Verteilte Anwendungen Prof. Wolfgang Schönfeld Mo 16 - 18h, OMZ (INF 350), R U014 Beginn: n.V.
Seminare	Theoretische Informatik Prof. Klaus Ambos-Spies Mo 16-18h, AM, HS - 104 Vorbesprechung: Mo 14. Juli 2008, 15.15 h, AM, HS -104 Beginn: 27.Oktober 2008 Zuordnung: Kerninformatik, Reine Mathematik Programm Berechenbarkeit und Komplexität Priv.-Doz. Wolfgang Merkle Do 14 - 18h, AM, HS -106 Vorbesprechung: Mo 13. Oktober 2008, 13:30 h, AM, HS - 111 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 wollen.

Seitenbearbeiter: Felicitas Hirsch