Mathematische Logik und Grundlagen der Mathematik

Der Lehrstuhl wurde geschlossen am 30. September 2013; das Folgende galt bis zu diesem Zeitpunkt.

Leiter:

Prof. Dr. Armin Hemmerling

Mitarbeiter:

Dr. Josef Berger

emeritiert: Prof. Dr. Günter Asser

Lehre:

mathematische Logik (allgemein, Berechenbarkeits- und Rekursionstheorie, Mengenlehre, Modelltheorie)

Themen der theoretischen Informatik (Berechenbarkeit, Algorithmik und Komplexität, Automaten und formale Sprachen)

Bereiche der Grundausbildung in Mathematik und Informatik (wie lineare Algebra, Algebra, Programmierung u.a.)

Forschung:

Berechenbarkeit und algorithmische Komplexität, Leistungsvermögen von Automatentypen

Dienstleistungen:

Prof. Asser ist Ehrenherausgeber der Zeitschrift Mathematical Logic Quarterly (MLQ), die er 1955 gründete und bis 2004 als Hauptherausgeber leitete. Prof. Hemmerling war von 1991 bis 2011 Mitherausgeber, von 2005 bis 2010 Managing Editor der MLQ.