Albert-Ludwigs-Universität Freiburg Fakultät für Mathematik und Physik   Mathematisches Institut   Abteilung für Mathematische Logik

Veranstaltungen im Sommersemester 2003

• Vorlesung "Analysis II" für Studenten der Mathematik, Informatik und Physik (M. Ziegler, M. Junker)
  Vorlesung: Mo, Mi 9-11, HS Rundbau, Albertstraße 21a
  Mit Übungen.
• Vorlesung "Mathematische Logik für Informatiker" (J. Flum, Y. Chen)
  Vorlesungen: Mo 9-11, Mi 11-13, HS 00-026, Gebäude 101, Georges-Köhler-Allee
  Übungen: Fr 11-13, SR 01-009/13, Gebäude 101, Georges-Köhler-Allee
• Vorlesung "Modelltheorie" (H.-D. Ebbinghaus, M. Weyer)
  Vorlesungen: Di, Do 9-11, SR 404, Eckerstraße 1.
  Übungen: nach Vereinbarung
• Seminar über mathematische Logik (M. Ziegler, O. Roche)
  Mi 11-13, SR 318, Eckerstr. 1
• Oberseminar zur Mathematischen Logik (H.-D. Ebbinghaus, J. Flum, M. Ziegler)
  Do 11-13, SR 318, Eckerstr. 1

Graduiertenkolleg "Mathematische Logik und Anwendungen"

• Seminar über Modelltheorie und Algebra (J. Koenigsmann, A. Prestel, M. Ziegler)
  Mo 11-13, SR 318, Eckerstr. 1
• Seminar über "Model Checking" (H.-D. Ebbinghaus, J. Flum, G. Lausen, B. Nebel, Y. Chen/M. Weyer)
  Mo 11-13, SR 02-017, Gebäude 52, Georges-Köhler-Allee.
• Kolloquium "Mathematische Logik und Anwendungen"
  Mo 14-16, SR 00-10/14, Gebäude 101, Georges-Köhler-Allee.