Lehrveranstaltungen Wintersemester 2014/2015

Arbeitsgruppe Mathematische Logik und Theoretische Informatik



Vorlesungen

Mathematische Logik (MB9)
Prof. Dr. Klaus Ambos-Spies
Mo 9-11h, Do 11-13h, INF 252, Hörsaal Ost
Beginn: Do, 16. Oktober 2014

Übungen: s. Unterseite Mathematische Logik


Formale Sprachen und Automatentheorie (MH 14)

Priv.-Doz. Dr. Wolfgang Merkle
Mo, Do 11-13h, INF 294 (AM), HS 134
Beginn: Mo 13. Oktober 2014
Übungen: Mo 14-16h, INF 294 (AM), Raum -112 , Do 14-16h, INF 294 (AM), Raum 133
Bitte tragen Sie sich in die Gruppen im MÜSLI ein.


Seminare


Berechenbarkeit und Logik (Seminar / Tutorium - Mathematik)
Theoretische Informatik (Seminar und Proseminar - Informatik)

Prof. Dr. Klaus Ambos-Spies/Nadine Losert
Mo 16-18h, INF 294 (AM), HS - 104
Gemeinsame Vorbesprechung: Mo, 13. Oktober 2014, 16:15 Uhr, INF 294 (AM), HS -104
Beginn: Mitte November


Berechenbarkeit und Komplexität
Priv.-Doz. Dr. Wolfgang Merkle
Zeit und Raum: n.V.
Vorbesprechung: Donnerstag, den 16. Oktober 2014,
13.30 Uhr, INF 294 (AM), Hörsaal 134


Mengenlehre
Prof. Dr. K. Hauser
Mo 18-20h, INF 294 (AM), HS 133
Beginn: Mo 3. November 2014
Übungen: nach Vereinbarung


Hauptseminar


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
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. Die Teilnahme am Hauptseminar wird insbesondere den Studierenden empfohlen, die ihre Diplom-, Bachelor-, Master- oder Zulassungsarbeit im Bereich der Mathematischen Logik oder Theoretischen Informatik schreiben wollen.