Lehrveranstaltungen Wintersemester 2016/2017

Arbeitsgruppe Mathematische Logik und Theoretische Informatik



Vorlesungen

Mathematische Logik

Veranstaltung ME3 im Modulhandbuch Bachelor Mathematik

Prof. Dr. Ambos-Spies, Übungen Martin Monath

Mo 9-11h, Do 11-13h, INF 252, Hörsaal Ost


Berechenbarkeit und Komplexität 2

Veranstaltung MH15 im Modulhandbuch Master Mathematik

Priv.-Doz. Dr. Wolfgang Merkle

Mo, Do 11-13h, INF 205 - Mathematikon, SR 1

Für weitere Informationen siehe die Vorlesungsseite.


Seminare


Proseminar/Seminar Berechenbarkeit und Logik (mit Tutorium - Mathematik)

Proseminar/Seminar Theoretische Informatik (Informatik)

Prof. Dr. Klaus Ambos-Spies und Nadine Losert

Mo 16-18h, INF 205 (Mathematikon), SR1


Seminar Berechenbarkeit und Komplexität

Priv.-Doz. Dr. Wolfgang Merkle

Vorbesprechung Do, 20 Oktober 2016, 14:15 Uhr, SR 2.

Die Termine für die Seminarvorträge werden in der Vorbesprechung festgelegt.

Für weitere Informationen siehe die Seminarseite.


Seminar Axiomatische Mengenlehre

Prof. Dr. K. Hauser

Vorbesprechung und Vergabe der Themen: Fr, 21 Oktober 2016, 16:15 Uhr, SR 1.


Hauptseminar


Mathematische Logik und Theoretische Informatik

Prof. Dr. Klaus Ambos-Spies, Priv.-Doz. Dr. Wolfgang Merkle

Di 16-18h, INF 205, SR1

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.