Lehrveranstaltungen Sommersemester 2017

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

Formale Sprachen und Automatentheorie (Modul IFSA)
Priv.-Doz. Dr. Wolfgang Merkle
Mo, Do 11-13h, INF 205 (Mathematikon), SR A
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 Ü)

Seminare

Mathematische Logik (Proseminar Mathematik)
Prof. Dr. Klaus Ambos-Spies, Nadine Losert
Mo 16-18h, INF 205 (Mathematikon), SR 1
Zuordnung: Reine Mathematik

Mathematische Logik (Seminar Mathematik)
Prof. Dr. Klaus Ambos-Spies, Nadine Losert
Di 9-11h, INF 205 (Mathematikon), SR 1
Zuordnung: Reine Mathematik

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.