Lehrveranstaltungen Wintersemester 2017/2018

Arbeitsgruppe Mathematische Logik und Theoretische Informatik



Vorlesungen

Mathematische Logik

Veranstaltung ME3 im Modulhandbuch Bachelor Mathematik

Prof. Dr. Ambos-Spies, Übungen Nadine Losert

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


Berechenbarkeit und Komplexität 1

Veranstaltung MH14 im Modulhandbuch Master Mathematik

Priv.-Doz. Dr. Wolfgang Merkle

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

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 Martin Monath

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


Seminar Mathematik und Philosophie des Unendlichen

Prof. Dr. K. Hauser

Vorbesprechung und Vergabe der Themen: wird noch bekannt gegeben. Interessenten melden sich bitte direkt bei Prof. Dr. Hauser.
Email: p93@ix.urz.uni-heidelberg.de


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.