Lehrveranstaltungen Wintersemester 2012/2013

Arbeitsgruppe Mathematische Logik und Theoretisch Informatik


 

Kursusvorlesungen

Mathematische Logik
Prof. Dr. Klaus Ambos-Spies
Mo 9-11h, Do 11-13h, INF 252, Hörsaal Ost
Beginn: Mo, 15. Oktober 2012
Übungen: Mo 11-13h, Mo/Di/Mi 14-16h
Zuordnung: Reine Mathematik
 

Formale Sprachen und Automatentheorie
Priv.-Doz. Dr. Wolfgang Merkle
Mo, Do 11-13h, INF 294 (AM), HS134
Beginn: Mo, 15. Oktober 2012
Übungen: Mo 14-16h, Raum n.V.
Zuordnung: Kerninformatik, Reine Mathematik

Seminare

Theoretische Informatik  (Seminar und Proseminar)
Prof. Dr. Klaus Ambos-Spies
Mo 16-18h, INF 294 (AM), HS - 111
Vorbesprechung: Mo, 21. Oktober 2012, 16:15h, INF 294 (AM), HS - 111
Beginn: Mitte November
Zuordnung: Kerninformatik, Reine Mathematik


Formale Sprachen
Priv.-Doz. Dr. Wolfgang Merkle
Zeit und Raum: n.V.
Vorbesprechung: Do, 18.10.2012, 13:30 h, INF 294 (AM), HS 134
Zuordnung: Kerninformatik, Reine Mathematik

Hauptseminar

(Oberseminar)

Mathematische Logik und Theoretische Informatik
Prof. Dr. Klaus Ambos-Spies, Priv.-Doz. Dr. Wolfgang Merkle
Di 16-18h, INF 294 (AM), HS 134
Beginn und Themen: siehe Aushang bei Zimmer 015
Zuordnung: Kerninformatik, Reine Mathematik
Kurzbeschreibung: Im Hauptseminar (Oberseminar) werden aktuelle Arbeiten aus den Bereichen Mathematische Logik und Theoretische Informatik in Einzelvorträgen von Gästen und Mitarbeitern der Arbeitsgruppe sowie Studierenden mit Studienschwerpunkt auf einem dieser Gebiete vorgestellt. Die Teilnahme am Hauptseminar wird insbesondere den Studierenden empfohle