Lehrveranstaltungen Sommersemester 2014

Arbeitsgruppe Mathematische Logik und Theoretische Informatik


Vorlesungen

Einführung in die Theoretische Informatik (Modul ITH)
Prof. Dr. Klaus Ambos-Spies
Mo 9-11h, Do 11-13h, INF 252, Hörsaal Ost
Beginn: Mo, 14. April 2014
Übungen: s. Vorlesungsseite
Zuordnung: s. Vorlesungsseite

Berechenbarkeit und Komplexität 2 (Modul MH15)
Priv.-Doz. Dr. Wolfgang Merkle
Mo, Do 11-13h, INF 294 (AM), HS 134
Beginn: Mo, 14. April 2014
Zuordnung und Anrechenbarkeit: s. Vorlesungsseite

Einführung in die Mengenlehre (Modulbeschreibung)
Prof. Dr. K. Hauser
Fr 16-18h, INF 294 (AM), HS 134
Beginn: Fr, 25. April 2014
Übungen: nach Vereinbarung
Umfang: 3 SVS (2 V + 1 Ü)
Zuordnung: Bachelor Mathematik

Seminare

Mathematische Logik (Proseminar und Seminar)
Prof. Dr. Klaus Ambos-Spies
Mo 16-18h, INF 294 (AM), HS - 104
Beginn: n.V.
Vorbesprechung: Do, 06.Februar 2014, 17h, INF 294 (AM),
Hörsaal 133
Zuordnung: Reine Mathematik

Berechenbarkeit und Komplexität
Priv.-Doz. Dr. Wolfgang Merkle
Zeit und Raum: n.V.
Vorbesprechung: Do, 17. April 2014, 13.30h, INF 294 (AM), Hörsaal 134
Zuordnung und Anrechenbarkeit: s. Seminarseite

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 vorgestellt. Die Teilnahme wird insbesondere den Studenten empfohlen, die ihren Studienschwerpunkt auf dieses Gebiet legen wollen oder gelegt haben.