Lehrveranstaltungen Wintersemester 2018/2019

Arbeitsgruppe Mathematische Logik und Theoretische Informatik



Vorlesungen

Formale Sprachen und Automatentheorie (Modul IFSA)

Priv.-Doz. Dr. Wolfgang Merkle

Mo 11-13h, Do 11-13h, INF 205, SR1

Seminare

Kolmogorov Komplexität

Priv.-Doz. Dr. Wolfgang Merkle

Do 16-18, INF 205, 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

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.