| Albert-Ludwigs-Universität Freiburg | ||
| Mathematische Fakultät | ||
|
|
|
Zeit und Ort: Do 8-10, SR 318 Eckerstraße 1
Tutorium dazu: Y. Chen
und M. Weyer
Vorbesprechung: Mittwoch, 17.7.2002, 12.15 Uhr in Raum 404,
Das Seminar behandelt ausgewählte Kapitel der endlichen Modelltheorie. Vorausgesetzt werden Kenntnisse im Umfang der Vorlesungen über mathematische Logik und über Modelltheorie der beiden letzten Semester.