Teaching Programme

Current list of courses

* preliminary planning

Summer term 2022 *

Winter term 2021/22 *

Summer term 2021 *

Winter term 2020/21*

Summer term 2020 *

Winter term 2019/20 *

Lineare Algebra I (deutsch, 4+2), Eickmeyer
Mathematik für Chemiker (4+2), Eickmeyer
Mathematik für Informatiker (4+2), Streicher
Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer
Introduction to Mathematical Logic (4+2), Eickmeyer
Specialisation: Basic Applied Proof Theory (2+1), Kohlenbach
Specialisation: Homotopy Type Theory I (2+1), Buchholtz
Specialisation: Incompleteness (2+1), Streicher
Proseminar: Constructive Analysis (2), Kohlenbach

Summer term 2019

Winter term 2018/19

Summer term 2018

Winter term 2017/18

Summer term 2017

Winter term 2016/17

Summer term 2016

Winter term 2015/16

Summer term 2015

Winter term 2014/15