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

Veranstaltungen im Wintersemester 2000/01

• Vorlesung "Lineare Algebra I" (J. Flum, C. Stroppel)
  Vorlesungen: Mo-Do 9-10, Zoologie Rundbau
  Übungen nach Vereinbarung

• Vorlesung über Mathematische Logik für Informatiker (B. Herwig, M. Weyer)
  Vorlesungen Mo 9-11, HS 00-026, Geb. 101, und Mi 10-11 HS 00-006 Geb. 082
  Übungen Fr 14-16 HS 00-036, Geb. 101 jeweils Georges-Köhler-Allee

• Vorlesung "Modelltheorie" (M. Ziegler, I. Kraus)
  Vorlesungen: Di 14-16, Do 16-18, SR 414 Eckerstr. 1
  Übungen dazu: Mi 14-16, SR 318 Eckerstr. 1

• Vorlesung über Mengenlehre II (H.-D. Ebbinghaus)
  Vorlesungen Do 14-16 SR 404, Eckerstr. 1

• Vorlesung über Komplexitätstheorie (H.-D. Ebbinghaus, M. Frick)
  Vorlesungen Mo 16-17, Mi 16-18 SR 404, Eckerstr. 1

• Vorlesung über Model Theory and Permutation Groups (D. Evans)
  Vorlesungen Mo 14-16, SR 414, Mi 16-18 SR 232, Eckerstr. 1
  (in den 2 Wochen 20.11.2000-1.12.2000, die Termine für die Fortsetzung im Februar stehen noch nicht fest)

• Seminar über Stabilitätstheorie (M. Ziegler, B. Herwig)
  Di 10-12, SR 318 Eckerstr. 1
  

• Seminar über Endliche Modelltheorie (H.-D. Ebbinghaus, J. Flum, M. Frick)
  Mo 10-12, SR 318 Eckerstr. 1

• Seminar: Reflexionen über Mathematik in Geschichte und Gesellschaft
  (H.-D. Ebbinghaus, J. Flum, G. Sommaruga)
  Mi 11-13 Raum 1034, KG I

• beachten Sie auch die Veranstaltungen von Prof. Luc de Raedt