Veranstaltungsangebot

Lehrveranstaltungsplanung

* vorläufige Planung

Sommersemester 2022 *

Wintersemester 2021/22 *

Sommersemester 2021 *

Wintersemester 2020/21*

Sommersemester 2020 *

Wintersemester 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

Sommersemester 2019

Wintersemester 2018/19

Sommersemester 2018

Wintersemester 2017/18

Sommersemester 2017

Wintersemester 2016/17

Sommersemester 2016

Wintersemester 2015/16

Sommersemester 2015

Wintersemester 2014/15