Lehrveranstaltungen Sommersemester 2015

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: Do, 16. April 2015
Übungen: s. Vorlesungsseite
Zuordnung: s. Vorlesungsseite

Randomisierte Algorithmen (Modul IRA)
Priv.-Doz. Dr. Wolfgang Merkle
Mo, Do 11-13h, INF 294 (AM), HS 134
Beginn: Mo, 13. April 2015
Zuordnung und Anrechenbarkeit: s. Vorlesungsseite

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

Seminare

Mathematische Logik (Proseminar und Seminar)
Prof. Dr. Klaus Ambos-Spies, Nadine Losert
Mo 16-18h, INF 294 (AM), HS - 104
Beginn: n.V.

Vorbesprechung:
Eine zweite Vorbesprechung findet am Di, 14. April 2015, um 16:15 Uhr, INF 294 (AM), HS 134 statt. Vorstellung der Thematik, Vergabe der Themen und Anmeldung in der Vorbesprechung.

Zuordnung: Reine Mathematik

Berechenbarkeit und Komplexität
Priv.-Doz. Dr. Wolfgang Merkle
Zeit und Raum: n.V.
Vorbesprechung: s. Seminarseite
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.