Heike Mildenberger

Home

Research

Publications

Teaching

Course Notes

Teaching

Albert-Ludwigs-Universität Freiburg

Winter 2025/26

• Vorlesung Vorlesung: Logik für Studierende der Informatik,
  Mi 10 - 12, HS 00-026, Geb. 101, Georges-Köhler-Allee 101
  Assistent: Simon Klemm
  Übungen zweistündig, nach Vereinbarung
• Proseminar über Graphentheorie,
  Dienstags 16-18 Uhr im SR 127
  Tutorat: Stefan Ludwig.
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro, Di 14:30 - 16 Uhr, SR 125.

Sommer 2025

• Vorlesung Vorlesung: Topologie,
  Di, Do 10 - 12, HS II, Albertstr. 23 b
  Assistent: Hannes Jakob,
  Übungen zweistündig, nach Vereinbarung
• Seminar Seminar über Mathematik ohne das Auswahlaxiom,
  Dienstags 16-18 Uhr im SR 403
  Tutorat: Maxwell Levine.
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro, Di 14:30 - 16 Uhr, SR 404.

Sommer 2024

• Vorlesung Vorlesung: Mathematische Logik,
  Mo, Do 10 - 12, HS II, Albertstr. 23 b
  Assistent: Hannes Jakob,
  Übungen zweistündig, nach Vereinbarung
• Seminar Seminar über Prikry-Forcing,
  Montag 14-16 Uhr im SR 125
  Tutorat: Hannes Jakob,
• Oberseminar Mathematische Logik zusammen mit Amador Martin-Pizarro, Di 14:30 - 16 Uhr, SR 404.

Winter 2023/24

• Vorlesung Vorlesung: Kombinatorik,
  Mo, Mi 10 - 12, HS II, Albertstr. 23 b
  Assistent: Hannes Jakob,
  Übungen zweistündig, nach Vereinbarung
• Seminar Algebraische Topologie,
  Dienstag 16-18 Uhr im SR 404
  Tutorat: Maxwell Levine
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro, Di 14:30 - 16 Uhr, SR 404.

Sommer 2023

• Vorlesung Vorlesung: Mengenlehre - Unabhängigkeitsbeweise,
  Di, Do 10 - 12, SR 404
  Assistent: Christian Bräuninger,
  Übungen zweistündig, nach Vereinbarung
• Vorlesung Rekursionstheorie,
  Mo 16-18 SR 404,
  Übungen zweistündig, nach Vereinbarung
  Assistent: Francesco Gallinaro
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro, Di 14:30 - 16 Uhr, SR 404.

Winter 2022/23

• Vorlesung Vorlesung: Logik für Studierende der Informatik, Assistent: Christian Bräuninger,
  Mi 10 - 12, HS 00-026, Geb. 101, Georges-Köhler-Allee,
  Übungen zweistündig, nach Vereinbarung
• Seminar Kryptographie, Tutorat: Maxwell Levine
  Blockseminar nach dem Praxissemester
• Proseminar Lineare Darstellungen endlicher Gruppen, Tutorat: Maxwell Levine
  Di 16 - 18, SR 125.
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro, Di 14:30 - 16 Uhr.

Sommer 2022

• Vorlesung Vorlesung: Lineare Algebra II, Assistent: Christian Bräuninger,
  Di, Do 8 -10, Rundbau Albertstr. 21,
  Übungen zweistündig, nach Vereinbarung
• Seminar Whitehead's Problem, Tutorat: Maxwell Levine
  montags 14 - 16, SR 318
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro, Di 14:30 - 16 Uhr.

Winter 2021/22

• Vorlesung Lineare Algebra 1, Assistent: Christian Bräuninger,
  Di, Do 8 -10, Rundbau Albertstr. 21,
  Übungen zweistündig, nach Vereinbarung
• Seminar Knotentheorie, Tutorat: Maxwell Levine
  Seminar nach dem Praxissemester, ab 07.01.2022 bis Semesterende am 12.02.2022,
  montags 16 - 18 und freitags 16 - 18 und zwei Einzeltermine
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro, Di 14:30 - 16 Uhr.

Sommer 2021

• Vorlesung Mathematische Logik, Assistent: Maxwell Levine,
  online,
  Übungen zweistündig, nach Vereinbarung
• Seminar Eine Glimm-Effros-Dichotomie, Tutorat: Brendan Stuber-Rousselle
  Mo 16 -18 online.
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro, Di 14:30 - 16, BBB-Raum Philidor.

Winter 2020/2021

• Vorlesung Mengenlehre - Unabhängigkeitsbeweise, Assistent: Brendan Stuber-Rousselle,
  Di, Do 10 - 12, SR 404 oder online,
  Übungen zweistündig, nach Vereinbarung
• Seminar Ramsey-Theorie, Tutorat: Maxwell Levine
  Di 16 - 18, SR 403 (Corona: HS II) oder online.

Sommer 2020

• Vorlesung Mathematische Logik, Assistent: Giorgio Laguzzi,
  Di, Do 10 - 12, in Ilias online (HS II).
  Übungen zweistündig, nach Vereinbarung
• Seminar Forcing und Erhaltungssätze, Tutorat: Brendan Stuber Rousselle
  Mo 16 - 18, SR 318 online.

Sommer 2019

• Vorlesung Topologie, Assistent: Brendan Stuber-Rousselle,
  Di, Do 10 - 12, SR 404,
  Übungen zweistündig, nach Vereinbarung
• Vorlesung Rekursionstheorie, Assistent: Giorgio Laguzzi
  Mo 16 - 18, HS II, Albertstr. 23b
  Übungen zweistündig, nach Vereinbarung
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro,
  M0 14 -16, SR 404.

Winter 2018/19

• Vorlesung Unabhängigkeitsbeweise, Assistent: Brendan Stuber-Rousselle,
  Di, Do 10 - 12, SR 404,
  Übungen zweistündig, nach Vereinbarung
• Seminar Die Keisler-Ordnung, Tutorat: Giorgio Laguzzi
  Di 16 - 18, SR 403.
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro
  Mi 16 - 18, SR 404.

Sommer 2018

• Vorlesung Mathematische Logik, Assistent: Giorgio Laguzzi,
  Di, Do 10 - 12, HS II, Albertstr. 23b,
  Übungen zweistündig, nach Vereinbarung
• Proseminar: Proofs from The Book, Tutorat: Fiorella Guichardaz
  Mo 16 - 18, SR 318
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro
  Mi 16 - 18 SR 404

Winter 2017/18

• Vorlesung Mengenlehre: Große Kardinalzahlen, Assistentin: Fiorella Guichardaz
  Di, Do 10 - 12, SR 404, Eckerstr. 1,
  Übungen zweistündig, nach Vereinbarung
• Seminar: Metriken auf den Ordinalzahlen, Tutorat: Giorgio Laguzzi
  Di 16 - 18, SR 318
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro
  Mi 16 - 18 SR 404

Sommer 2017

• Vorlesung Mengenlehre: Unabhängigkeitsbeweise, Assistentin: Fiorella Guichardaz.
  Di, Do 10 - 12, SR 404, Eckerstr. 1,
  Übungen zweistündig, nach Vereinbarung
• Seminar: Spielstrategien, Tutorat: Giorgio Laguzzi
  Mo 16 - 18, SR 318
• Oberseminar Mathematische Logik, zusammen mit Amador Martin-Pizarro
  Mi 16 - 18 SR 404

Winter 2016/17

• Vorlesung Mengenlehre: das konstruktible Universum, Assistentin: Fiorella Guichardaz
  Di, Do 10 - 12, SR 404, Eckerstr. 1,
  Übungen zweistündig, nach Vereinbarung
• Seminar: Maßalgebren und die Maharam-Probleme, Tutorat: Giorgio Laguzzi
  Di 16 - 18, SR 318
• Oberseminar Mathematische Logik, zusammen mit Martin Ziegler
  Mi 16 - 18 SR 404

Sommer 2016

• Vorlesung Mathematische Logik, Assistentin: Fiorella Guichardaz,
  Di, Do 10 -- 12, Hörsaal im Weismannhaus, Alberstr. 21a,
  Übungen zweistündig, nach Vereinbarung
• Seminar: Properes und stark properes Forcing, Tutorat: Giorgio Laguzzi
  Mo 16 - 18, SR 125
• Oberseminar Mathematische Logik, zusammen mit Martin Ziegler
  Mi 16 - 18 SR 404

Winter 2015/2016

• Vorlesung Mengenlehre, Assistent: Giorgio Laguzzi,
  Mo, Mi 10 - 12, Hörsaal II, Alberstr. 23b,
  Übungen zweistündig, Mi 14- 14, Herr Andreas Engert.
• Proseminar ueber Graphentheorie, Tutorat hierzu: Dr. Doris Hein
  Di 16 - 18, SR 318 (wurde in der Vorbesprechung zu diesem Termin geändert)
• Oberseminar Mathematische Logik, zusammen mit Martin Ziegler
  Mi 16 - 18 SR 404

Winter 2014/2015

• Vorlesung Modelltheorie, Mitwirkung bei den Übungen: Dr. Mohsen Khani
  Mo, Mi 10 - 12, SR 404,
  Übungen zweistündig, nach Vereinbarung
• Seminar Mengenlehre: Forcingsaxiome, Tutorat: M. Sc. Christoph Bier
  Di 16 - 18, SR 318,
• Oberseminar Mathematische Logik,
  Mi 16 - 18 SR 404

Sommersemester 2014: FRIAS Fellowship

Winter 2013/2014

• Vorlesung Lineare Algebra 1, Mitwirkung bei den Übungen: Oliver Straser
  Mo 8:15 - 9:45, Do 8:15 - 9:45 Rundbau Albertstr. 21
  Übungen zweistündig, nach Vereinbarung
• Seminar Mengenlehre: Große Kardinalzahlen, Tutorat: Fiorella Guichardaz
• Oberseminar Mathematische Logik, zusammen mit Martin Ziegler,
  Mi 16 - 18 SR 404

Sommer 2013

• Vorlesung Mengenlehre: Unabhängigkeitsbeweise, Mitwirkung bei den Übungen: Jeff Serbus
  Di 10- 12, Do 10 - 12 SR 404, Eckerstr. 1
  Übungen zweistündig, nach Vereinbarung
• Seminar Mengenlehre: Kardinalzahlinvarianten, Tutorat: Giorgio Laguzzi
• Oberseminar Mathematische Logik, zusammen mit Martin Ziegler

Winter 2012/2013

• Vorlesung Mengenlehre: Kardinalzahlenarithmetik, Übungen: Jeff Serbus
  Mi 10- 12 SR 404, Eckerstr. 1, Fr 10 -12, Hörsaal II, Albertstraße 23b
  Übungen zweisündig, nach Vereinbarung
• Proseminar Kombinatorik und Mengenlehre, Tutorat: Luca Motto Ros
• Oberseminar Mathematische Logik, zusammen mit Martin Ziegler

Sommer 2012

• Vorlesung Mathematische Logik, Übungen: Jeff Serbus
  Mi 8- 10, Fr 10 -12, Hörsaal II, Albertstraße 23b
  Übungen zweistündig, nach Vereinbarung
• Seminar über Einbettungen und bessere Quasiordnungen, Tutorat: Luca Motto Ros
• Oberseminar Mathematische Logik, zusammen mit Martin Ziegler

Winter 2011/2012

• Vorlesung Logik für Studierende der Informatik, Übungen: Luca Motto Ros
  Mi 10- 11.30, Georges-Köhler-Allee 101
  Übungen zweistündig, Di 10-12, SR 0-026 und SR 00-034 im Geb. 051, Georges-Köhler-Allee 101, Di 12-14, SR 01-016, Geb 101.
• Seminar über Forcingtechniken, Tutorat: Luca Motto Ros
  Mi 12 - 14, SR 218.
• Seminar für Fortgeschrittene, zusammen mit Martin Ziegler, Tutorat: Jeff Serbus
  Di 14 - 16
• Oberseminar Mathematische Logik, zusammen mit Martin Ziegler
  Mi, 16 - 18
  

Sommer 2011

• Vorlesung Axiomatische Mengenlehre Mitwirkung bei den Übungen: Luca Motto Ros
• Seminar über Mengenlehre Tutorat: Luca Motto Ros
• Oberseminar Mathematische Logik, zusammen mit Martin Ziegler

Winter 2010/2011

• Vorlesung Logik für Studierende der Informatik Mitwirkung bei den Übungen: Juan-Diego Caycedo
• Seminar über Mengenlehre Tutorat: Luca Motto Ros
• Seminar über Mengenlehre und Modelltheorie für Fortgeschrittene Tutorat Luca Motto Ros
• Seminar für Diplomanden in Modelltheorie, zusammen mit Markus Junker,

Teaching before October 2010

Weiter zurückliegende Lehrveranstaltungen in Wien, Bonn, Ann Arbor, Freiburg.

Version der Seite vom 10.12.2023, HM