Lehre – Teaching

• Wintersemester 2026/27.
  • Vorlesung Mathematische Logik & Mengenlehre II (Lücke)
    Dienstag 12–14 (MIN-F SemRm 3.5)
  • Seminar Das Axiom der Determiniertheit (Löwe)
    Blockveranstaltung
  • Proseminar Zahlsysteme (Khomskii)
    Blockveranstaltung
• Sommersemester 2026.
  • Vorlesung Mathematische Logik & Mengenlehre (Lücke)
    Montag & Donnerstag 14–16 (Geom H6)
    Übungen (Geschke): Dienstag 10–12 (MIN-F SemRm 3.3) & Dienstag 14–16 (Sed 19 107)
  • Vorlesung The Forcing Method (Löwe)
    Donnerstag 16–18 (Sed 19 107 & online)
  • Proseminar Aussagenlogik und Boolesche Algebren (Khomskii)
    Blockveranstaltung
• Wintersemester 2025/26.
  • Vorlesung Themen der Analysis für das Lehramt Grundschule (Lücke)
    Dienstag 14–16 (Geom H4)
    Übungen: Dienstag 16–17 (Geom H4)
  • Vorlesung Spieltheorie (für das Lehramt Sekundarstufe (Löwe)
    Blockveranstaltung vom 25. März bis 1. April 2026
  • Seminar Finite and transfinite computability (Khomskii)
    Blockveranstaltung