Lehrveranstaltungen Wintersemester 2015/2016

Arbeitsgruppe Mathematische Logik und Theoretische Informatik



Vorlesungen

Mathematische Logik

Veranstaltung ME3 im Modulhandbuch Bachelor Mathematik, früher MB9

Priv.-Doz. Dr. Wolfgang Merkle, Übungen Nadine Losert

Mo 9-11h, Do 11-13h, INF 252, Hörsaal Ost


Seminare


Berechenbarkeit und Logik (Seminar / Tutorium - Mathematik)
Berechenbarkeit und Komplexität (Seminar und Proseminar - Informatik)

Priv.-Doz. Dr. Wolfgang Merkle und Martin Monath

Do 14-16h, INF 294 (AM), HS - 112
Gemeinsame Vorbesprechung: Do, 15. Oktober 2015, 14:15 Uhr im gleichen Raum.

Die beiden Seminare und das Proseminar werden als gemeinsame Veranstaltung durchgeführt. In der Vorbesprechung werden die Themen vergeben, die Vorträge beginnen dann ab Mitte November. Wenn Sie sich bereits in den Semesterferien auf ein Thema vorbereiten wollen, wenden Sie sich bitte per Email an Martin Monath.



Hauptseminar


Mathematische Logik und Theoretische Informatik

Prof. Dr. Klaus Ambos-Spies, Priv.-Doz. Dr. Wolfgang Merkle

Di 16-18h, INF 294 (AM), HS 134

Die Vorträge werden auch als Aushang bei Zimmer 015 und per E-Mail-Verteiler angekündigt.

Kurzbeschreibung: Im Hauptseminar 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. Der Besuch des Hauptseminars wird insbesondere den Studierenden empfohlen, die ihre Bachelor-, Master- oder Zulassungsarbeit im Bereich der Mathematischen Logik oder Theoretischen Informatik schreiben wollen.