Lehrstuhl für
Mathematische Logik und Grundlagen der Mathematik

Leiter:

Prof. Dr. Armin Hemmerling

Mitarbeiter:

Dr. Gido Scharfenberger-Fabian

emeritiert: Prof. Dr. Günter Asser

MLQ-Redaktion: Heike Oberdörfer

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;

speziell:

klassische Berechenbarkeits- und Komplexitätstheorie sowie

algebraischer und approximativer Zugang zur Berechenbarkeit und Komplexität

über algebraischen Strukturen bzw. effektiven metrischen Räumen.

Dienstleistungen:

Prof. Hemmerling ist (seit 2005) Hauptherausgeber,
Prof. Asser ist Mitherausgeber der Zeitschrift Mathematical Logic Quarterly (MLQ),
die er 1955 gründete und bis 2004 als Hauptherausgeber leitete.

Kontakt:

Prof. Dr. Armin Hemmerling (E-Mail an: hemmerli@uni-greifswald.de)

 
 

Informationen (aus der Forschungsdatenbank der Universität)