ML / STiHaC

Past Teaching – Frühere Lehre

Sommersemester 2025.
- Vorlesung Mathematische Logik & Mengenlehre (Geschke)
  Montag 14–16 (Geom H4), Mittwoch 16–18 (Geom H2)
- Vorlesung Determiniertheit (Löwe)
  Donnerstag 14–16 (Geom H5)
- Proseminar Aussagenlogik für das Lehramt Sekundarstufe (Lücke)
  Montag 14–16 (Sed19 205)
- Seminar Modelltheorie (Khomskii)
  Blockveranstaltung
Wintersemester 2024/25.
- Vorlesung Mathematische Logik & Mengenlehre II (Lücke)
  Montag 16–18 (Geom H4), Mittwoch 14–16 (Geom H2)
  Übungen: Mittwoch 12–14 (Sed19 217)
- Seminar Fortgeschrittene Themen der Mathematischen Logik und Mengenlehre (Löwe)
  Blockveranstaltung vom 31. März bis 2. April 2025
- Proseminar Zahlsysteme (Khomskii)
  Blockveranstaltung vom 18. bis 21. Februar 2025
Sommersemester 2024.
- Vorlesung Mathematische Logik & Mengenlehre (Geschke)
  Montag 14–16 (Geom H4), Mittwoch 16–18 (Geom H2)
- Vorlesung Das konstruktible Universum (Löwe)
  Montag 16–18 (Geom H1)
- Proseminar Maß & Kategorie (Lücke)
  Dienstag 12–14 (Sed19 203)
- Seminar Modelltheorie (Khomskii)
  Blockveranstaltung vom 24. bis 27. September 2024
Wintersemester 2023/24.
- Vorlesung Mathematik & Musik für das Lehramt Sekundarstufe (Löwe)
  Blockveranstaltung vom 20. März bis 2. April 2024
- Seminar Kombinatorische Mengenlehre (Lücke)
  Blockveranstaltung vom 22. bis 23. Februar 2024
- Proseminar Aussagenlogik & Boolesche Algebren (Khomskii)
  Blockveranstaltung vom 4. bis 17. März 2024
Sommersemester 2023.
- Vorlesung Mathematische Logik & Mengenlehre (Geschke)
  Montag 14–16 (Geom H4), Mittwoch 16–18 (Geom H2)
  Übungen: Dienstag 10–12, Dienstag 14–16
- Vorlesung Computability, Decidability, Incompleteness (Löwe)
  Dienstag 12–14 (Geom H3)
- Vorlesung Empirische Untersuchungen mathematischer Praxis (Kant)
  Donnerstag 12–14 (Geom 433)
  Übungen: Donnerstag 14–15, Donnerstag 15–16
- Seminar Kardinalzahlen und ihre Arithmetik (Khomskii)
  Blockseminar von 11. bis 18. Oktober 2023
Wintersemester 2022/23.
- Vorlesung Modelltheorie (Geschke)
  Montag 16–18 (Geom H3)
- Proseminar Aussagenlogik und Boolesche Algebren (Khomskii)
  Blockseminar vom 17. bis 24. März 2023
- Proseminar Mathematik von Wahlsystemen (Löwe)
  Blockseminar vom 27. bis 30. März 2023
Sommersemester 2022.
- Vorlesung Mathematische Logik & Mengenlehre (Geschke)
  Montag 14–16 (Geom H4), Mittwoch 16–18 (Geom H2)
  Übungen: Dienstag 10–12, Dienstag 14–16
- Vorlesung Mathematik & Musik für das Lehramt Sekundarstufe (Löwe)
  Montag 16–18 (Geom H3)
- Vorlesung Empirische Untersuchungen mathematischer Forschungspraxis (Kant)
  Donnerstag 14–16 (Geom H2)
  Übung: Donnerstag 11–12 (Sed19 205)
- Seminar Transfinite Berechenbarkeitstheorie (Khomskii)
  Blockseminar am 5. und 7. Oktober 2022
Wintersemester 2021/22.
- Vorlesung Rekursionstheorie (Löwe)
  Unregelmäßig, 13.10.2021, 22.10.2021, 3.11.2021, 16.11.2021, 23.11.2021, 30.11.2021, 21.12.2021, 5.1.2022, 6.1.2022, 12.1.2022, 13.1.2022, 19.1.2022, 24.1.2022 (Zoom)
- Seminar Große Kardinalzahlen (Khomskii)
  Blockseminar vom 25. bis 28. Januar 2022
Sommersemester 2021.
- Vorlesung Mathematische Logik & Mengenlehre (Löwe)
  Montag 14–16 (Zoom), Donnerstag 14–16 (Zoom)
  Übungen: Dienstag 10–12 (Wansner; Zoom), Dienstag 14–16 (Löwe; Zoom).
- Seminar Fortgeschrittene Themen der Mengenlehre (Löwe)
  Montag 16–18.
- Seminar Deskriptive Mengenlehre (Khomskii)
  Blockseminar vom 2. bis 5. August 2021.
Wintersemester 2020/21.
- Vorlesung Modelle der Mengenlehre (Löwe)
  Dienstag 14–16 (Zoom).
- Proseminar Aussagenlogik & Boolesche Algebren (Khomskii)
  Blockseminar vom 15. bis 22. Januar 2021.
- Forschungsseminar Mathematische Logik ("ML Seminar").
Sommersemester 2020.
- Vorlesung Mathematische Logik & Mengenlehre (Löwe)
  Montag 14–16 (Zoom), Mittwoch 14–16 (Zoom)
  Übungen: Dienstag 10–12 (Wansner; Zoom), Dienstag 14–16 (Löwe; Zoom).
- Proseminar Mathematik & Musik (Löwe)
  Aus Gründen der Covid-19 Pandemie verschoben auf das WS 20/21.
- Forschungsseminar Mathematische Logik ("ML Seminar").
Wintersemester 2019/20.
- Proseminar Zahlsysteme (Khomskii)
  Blockseminar 14.–17. Januar 2020.
- Seminar Weiterführende Themen aus Mathematischer Logik und Mengenlehre (Löwe)
  Aus Gründen der Covid-19 Pandemie verschoben auf das WS 20/21.
- Forschungsseminar Mathematische Logik ("ML Seminar").
Sommersemester 2019.
- Vorlesung Mathematische Logik & Mengenlehre (Löwe)
  Montag 16–18 (Geom H3), Mittwoch 14–16 (Geom H2)
  Übungen: Dienstag 10–12 (Gollin; Geom 241), Dienstag 14–16 (Löwe; Geom 415).
- Seminar Höhere Mengenlehre und unendliche Spiele (Löwe)
- Seminar Weiterführende Themen aus Mathematischer Logik und Mengenlehre (Khomskii)
  Blockseminar 24.–26. Juni & 9.–11. Juli 2019.
- Forschungsseminar Mathematische Logik ("ML Seminar").
Wintersemester 2018/19.
- Vorlesung Vertiefung Mengenlehre (Khomskii)
  Montag 16–18 (Geom H2)
  Übungen: Montag 12–14 (Geom 241)
- Seminar Modelltheorie (Löwe)
  Blockseminar 25. & 27. März 2019.
- Forschungsseminar Mathematische Logik ("ML Seminar").
Sommersemester 2018.
- Vorlesung Mathematische Logik & Mengenlehre (Löwe)
  Dienstag 16–18 (Geom H1), Mittwoch 16 s.t.–17:30 (Geom H3)
  Übungen: Dienstag 14–16 (Geom 432)
- Vorlesung Vertiefung: Algebraische Strukturen für das Lehramt Primarstufe und Sekundarstufe I (Löwe)
  Montag 14–16 (Geom H6)
- Forschungsseminar Mathematische Logik ("ML Seminar")
Wintersemester 2017/18.
- Vorlesung Vertiefung Mengenlehre (Wohofsky)
  Donnerstag 10–12 (Geom H5)
- Vorlesung Formale Grundlagen der Informatik IIIa–Logik & weiterführende Algorithmen (Wohofsky)
  Montag 14–16 (Inf B-201)
- Seminar Deskriptive Mengenlehre (Löwe)
  Blockseminar 28. & 29. März 2018.
- Forschungsseminar Mathematische Logik ("ML Seminar")
Sommersemester 2017.
- Vorlesung Vertiefung Mengenlehre (Löwe)
  Montag 16–18 (Geom H4), Dienstag 14–16 (Geom H1)
  Übungen: Dienstag 16-18 (Geom 1240)
- Seminar Modelltheorie (Löwe)
- Forschungsseminar Mathematische Logik ("ML Seminar")
Wintersemester 2016/17.
- Proseminar Grundlagen der Berechenbarkeit (Löwe)
  Blockseminar 28., 29. & 31. März 2017.
- Forschungsseminar Mathematische Logik ("ML Seminar")
Sommersemester 2016.
- Vorlesung Vertiefung Mengenlehre (Khomskii)
  Montag 12–14 (Geom H5)
- Seminar zur fortgeschrittenen Mengenlehre (Löwe).
  Blockseminar Juli 2016.
- Forschungsseminar Mathematische Logik ("ML Seminar")
  Montag 14–16 (Geom 142)
Wintersemester 2015/16.
- Vorlesung Mengenlehre (Bowler)
  Donnerstag 10–12 (Geom H3)
  Übungen zur Mengenlehre: Freitag 10–11 (Block).
- Seminar zur Modelltheorie (Löwe).
  Blockseminar 19. Januar 2016.
- Forschungsseminar Mathematische Logik ("ML Seminar")
  Montag 14–16 (Geom 434)
Sommersemester 2015.
- Vorlesung Einführung in die Mathematische Logik und Modelltheorie (Löwe)
  Dienstag 14–16 (Geom H1), Donnerstag 14–16 (Geom H3)
  Übungen zur Logik: Dienstag 16–18 (Löwe), Donnerstag 16–18 (Sharankou).
- Seminar über fortgeschrittene Themen aus der Mengenlehre (Löwe).
- Forschungsseminar Mathematische Logik ("ML Seminar")
  Mittwoch 14–16 (Geom 233).
Wintersemester 2014/15.
Seminar Weiterführende Themen aus der Mengenlehre (Löwe)
Blockseminar, 18. und 19. März 2015
Sommersemester 2014.
- Vorlesung Deskriptive Mengenlehre (Geschke & Laguzzi)
  Montag 12–14 (Geom H4), Mittwoch 16–18 (Geom H6)
- Seminar Große Kardinalzahlen (Löwe)
  Blockseminar 3.7., 10.7., 22.7.2014
Wintersemester 2013/14.
- Vorlesung Axiomatische Mengenlehre (Löwe)
  Donnerstag 16–18 (Geom H3), Freitag 12–14 (Geom 434)
  Übungen zur Axiomatischen Mengenlehre: Freitag 14-16 (Geom 432)
- Seminar Weiterführende Themen aus der mathematischen Logik und Mengenlehre (Löwe)
  Donnerstag 18-20 (Geom 1240)
Sommersemester 2013.
- Proseminar Grundbegriffe der mathematischen Logik und Modelltheorie (Löwe)
  Blockseminar 25.-27.7.2013
Wintersemester 2012/13.
- Vorlesung Berechenbarkeitstheorie (Löwe)
  Dienstag 18–20 (Geom H6), Donnerstag 12–14 (Geom H3)
  Übungen zur Berechenbarkeitstheorie: Donnerstag 14–16 (Geom 241)
- Seminar Philosophie der Mathematik (Löwe)
  Dienstag 16–18 (Geom 434)
Sommersemester 2012.
Proseminar Mengenlehre (Löwe)
Blockseminar 18., 25., und 26. August 2012