| Albert-Ludwigs-Universität Freiburg | ||
| Mathematische Fakultät | ||
|
|
|
Zeit und Ort: Do 8-10, SR 318 Eckerstraße 1
Tutorium dazu: M. Weyer
Das Seminar behandelt die Entscheidbarkeit von Theorien in der sog. Logik der monadischen zweiten Stufe (Quantifizierungen zweiter Stufe sind nur für einstellige Relationsvariablen erlaubt). Die wichtigste Methode zur Gewinnung von Entscheidungsalgorithmen benutzt Verallgemeinerungen endlicher Automaten. Die Anwendungen reichen von Fragestellungen aus verschiedenen Gebieten der reinen Mathematik bis in die praxisnahe Informatik.
Voraussetzung für den Besuch des Seminars
sind Kenntnisse über mathematische Logik im Rahmen einer
einsemestrigen Vorlesung.
Im Zusammenhang mit dem Seminar können
Examensarbeiten vergeben werden an Studierende, die über gute
Kenntnisse in Modelltheorie verfügen.