Linear Algebra 1 (en) (4+2), Otto
|
Introduction to Mathematical Logic (4+2), Eickmeyer
|
Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Kohlenbach
|
Mathematik für Chemiker (4+2), Eickmeyer
|
Mathematik für Informatiker 1 (4+2), Eickmeyer
|
Specialisation (en): Directed Graph Structure Theory (2+1), NN
|
Specialisation (en): Advanced Applied Proof Theory (2+1), Kohlenbach
|
Specialisation (en): Finite Model Theory (2+1), Otto
|
Specialisation (en): Algorithms and Symmetry (4+2), Schweitzer
|
Proseminar (en): Convex Analysis, Kohlenbach
|
Seminar, Schweitzer
|