Angebot nach Semestern

  * vorläufige Planung

Sommer 2015*Vertiefung (2+1), Otto
Seminar (0+2), Streicher

 

Winter 2014/15*

Basic Applied Proof Theory (2+1), Kohlenbach (oder Seminar)(I)
Vertiefung (2+1), Otto
Imcompleteness of Formal Systems (2+1), Streicher(I)
Vertiefung (2+1), Ziegler
Introduction to Mathematical Logic

 

Sommer 2014*Advanced Applied Proof Theory (2+1), Kohlenbach (oder Seminar)(I)
Vertiefung (2+1), Otto(II)
Vertiefung (2+1), Ziegler
 
Winter 2013/14*Basic Applied Proof Theory (2+1), Kohlenbach(I)
Seminar (0+2), Otto(II)
Realizability (2+1), Streicher(III)
Introduction to Mathematical Logic
 
Sommer 2013





Seminar Proof Theory (0+2), Kohlenbach(I)
Introduction to Computability Theory (2+1), Kohlenbach(I)
Computable Analysis (2+1), Ziegler(I)
Seminar Modal Logics & Epistemic Logics (0+2), Otto
Classical and Non-Classical Model Theory (4+2), Otto(II)
Categorical Logic (2+1), Streicher(III)
Einführung in die axiomatische Mengenlehre (2+1), Streicher
 
Winter 2012/13Advanced Applied Proof Theory (2+1), Kohlenbach(I)
Seminar Proof Theory (0+2), Kohlenbach(I)
Introduction to Descriptive Set Theory (2+1), Gregoriades
Introduction to Mathematical Logic (4+2), Otto
Category Theory (2+1), Streicher(III)
Seminar, Ziegler
 
Sommer 2012Basic Applied Proof Theory (2+1), Kohlenbach (Seminar oder Vorlesung)(I)
Algebraic, Topological and Physical Aspects of Computation (2+1), Ziegler(II)
Algebraic Graph Theory, Combinatorics, and Logic (0+2), Otto(II)
Synthetic Differential Geometry (2+1), Lesnik(III)
Mathematical Foundations of Functional Programming 2 (2+1), Streicher(IV)
 
Winter 2011/12



Introduction to Computability Theory (2+1), Kohlenbach(I)
Introduction to Mathematical Logic (engl.) (4+2), Kohlenbach
Komplexitätstheorie (2+2), Ziegler(II)
Mathematical Foundations of Functional Programming 1 (2+1), Streicher(IV)
 
Sommer 2011



Advanced Complexity Theory (2+1), Ziegler(II)
Reelle Komplexität (0+2), Ziegler(II)
Seminar Dependence Logics (0+2), Otto(II)
Realizability (2+1), Streicher(III)
 
Winter 2010/11



Applied Proof Theory (4+2), Kohlenbach(I)
Finite Model Theory (2+1), Otto(II)
Kompexitätstheorie (2+2), Ziegler(II)
Seminar Quant* (0+2), Ziegler(II)
 
Sommer 2010


Proof Theory II, Kohlenbach(I)
Model Theory, Otto(II)
Categorical Logic, Streicher(III)
 
Winter 2009/10


Proof Theory I, Kohlenbach(I)
Seminar, Otto(II)
Category Theory, Streicher(III)

 

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
zum Seitenanfangzum Seitenanfang