Albert-Ludwigs-Universität Freiburg
	Institut für mathematische Logik und Grundlagen der Mathematik

Seminar über Logik im SS 1996

Zeit: Do 8-10
Ort: SR 201 Hermann-Herder-Str. 10

In dem Seminar sollen ausgewählte Themen der Endlichen Modelltheorie und Komplexitätstheorie behandelt werden - insbesondere 0-1 Gesetze und randomisierte Algorithmen.

Vorausgesetzt werden Kenntnisse in mathematischer Logik mindestens im Umfang des u.g. Buches. Grundkenntnisse in Modelltheorie und Wahrscheinlichkeitstheorie sind von Vorteil, können aber auch im Laufe des Seminars erworben werden.

Interessenten werden gebeten, sich mit Prof. Flum, Frau Wagner-Klimt oder Herrn Messerle in Verbindung zu setzen.

Eine Vorbesprechung findet am 12.2.1996 um 13 c.t. im HS II Albertstr. 23 b statt.

Literatur: Ebbinghaus, Flum, Thomas: Einführung in die Mathematische Logik