Lehrveranstaltungen Sommersemester 2018

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
Für weitere Informationen s. Vorlesungsseite

Randomisierte Algorithmen (Modul IRA)
Priv.-Doz. Dr. Wolfgang Merkle
Mo, Do 11-13h, INF 205 (Mathematikon), SR 1
Für weitere Informationen s. Vorlesungsseite

Einführung in die Mengenlehre
Prof. Dr. K. Hauser
Fr 16-18h, INF 205 (Mathematikon), SR A
Übungen: nach Vereinbarung
Umfang: 3 SVS (2 V + 1 Ü)
Bemerkung: Die Vorlesung eignet sich zur Vorbereitung für das im Wintersemester geplante Seminar "Mathematik und Philosophie des Unendlichen".

Seminare

Mathematische Logik (Seminar Mathematik und Informatik)
Prof. Dr. Klaus Ambos-Spies
Mo 16-18h, INF 205 (Mathematikon), SR 1
Eine Vorbesprechung findet am Mo, 16. April 2018, um 16:15 Uhr, INF 205 (Mathematikon), SR1 statt. Vorstellung der Thematik, Vergabe der Themen und Anmeldung in der Vorbesprechung.

Algorithmische Aspekte von Auktionen und Wahlen (Proseminar und Seminar Informatik)
Priv.-Doz. Dr. Wolfgang Merkle
Do 16-18h, INF 205 (Mathematikon), SR 2

Hauptseminar

Mathematische Logik und Theoretische Informatik
Prof. Dr. Klaus Ambos-Spies, Priv.-Doz. Dr. Wolfgang Merkle
Di 16-18h, INF 205 (Mathematikon), SR 1
Beginn und Themen: siehe Seminarseite
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.