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

Veranstaltungen im Sommersemester 2002

• Vorlesung "Mathematische Logik für Informatiker" (M. Ziegler, Y. Chen)
  Vorlesung: Mi 15-17, Fr 11-13, Hörsaal 00-036, Georges-Köhler-Allee.
  Übungen Mi 13-15, HS 00-036, Gebäude 101, Georges-Köhler-Allee.
• Vorlesung "Mengenlehre" (H.-D. Ebbinghaus, M. Junker)
  Vorlesungen: Mo, Mi 14-16, SR 404, Eckerstraße 1.
  Übungen: Do 14-16, Kellerhörsaal, Hebelstraße 29.
• Vorlesung "Modelltheorie" (J. Flum, M. Weyer)
  Vorlesungen: Mo, Mi 9-11, SR 404, Eckerstraße 1.
  Übungen: Fr 9-11, SR 318, Eckerstraße 1.
• Vorlesung "Gruppentheorie" (M. Junker)
  Vorlesung: Mo 16-18, SR 404, Eckerstraße 1.
  Übungen: Fr 9-11 Uhr, SR 414, Eckerstraße 1
• Proseminar über Algorithmische Graphentheorie (H.-D. Ebbinghaus, J. Flum, Y. Chen)
  Mo 11-13, SR 318, Eckerstraße 1.
• Seminar über Modelltheorie (M. Ziegler, M. Junker)
  Mi 11-13, SR 318, Eckerstraße 1.
• Seminar über mathematische Logik (H.-D. Ebbinghaus, J. Flum, M. Weyer)
  Do 8-10, SR 318, Eckerstraße 1.
• Oberseminar über Mathematische Logik (H.-D. Ebbinghaus, J. Flum, M. Ziegler)
  Do 11-13, SR 318, Eckerstraße 1.