Current list of courses

  * preliminary planning

Winter 2021/22*





Linear Algebra 1 engl. (4+2), Otto
Introduction to Mathematical Logic (4+2), Kohlenbach
Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1),Eickm.
Vertiefung Logik (2+1), Kohlenbach
Vertiefung Logik: Realisierbarkeit (2+1), Streicher
Mathematik für Informatiker 1 (4+2), Streicher

 

Summer 2021*





Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Otto
Analysis 2 engl. (4+2), Kohlenbach
Mathematik für Informatiker 2 (4+2), Streicher
Vertiefung Logik (2+1), Kohlenbach
Vertiefung Logik (2+1), Otto
Vertiefung Logik: Kategorielle Logik (2+1), Streicher

 

Winter 2020/21*





Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Otto
Introduction to Mathematical Logic (4+2), Otto
Analysis 1 engl. (4+2), Kohlenbach
Vertiefung Logik (2+1), Kohlenbach
Vertiefung Logik: Einführung i. d. Kategorientheorie (2+1), Streicher
Mathematik für Informatiker 1 (4+2), Streicher

 

Sommer 2020*




Logik und Grundlagen (2+1), Otto
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer
Advanced Applied Proof Theory (2+1), Kohlenbach
Vertiefung Logik (2+1), Otto
Seminar (2), NN

 

Winter 2019/20*





Introduction to Mathematical Logic (4+2), Eickmeyer/Streicher
Mathematik für Chemiker (4+2), Eickmeyer/Streicher
Incompleteness (2+1), Streicher
Basic Applied Proof Theory (2+1), Kohlenbach
Automaten, formale Spr. u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer
Seminar: Proof Theory (2), Kohlenbach

 

Summer 2019*





Mathematik für Informatiker 2 (4+2), Streicher
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer
Mathematical Foundations of Functional Programming 2 (2+1), Streicher
Classical Model Theory (2+1), Otto
Seminar (2), NN

 

Winter 2018/19*






Introduction to Mathematical Logic (4+2), Eickmeyer
Mathematical Foundations of Functional Programming 1 (2+1), Streicher
Finite Model Theory (2+1), Otto
Introduction to Computability Theory (2+1), Kohlenbach
Mathematik für Informatiker 1 (4+2), Streicher
Automaten, formale Spr. u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer
Seminar (2), Otto

 

Summer 2018









Applied Proof Theory (4+2), Kohlenbach
Modal Logics (2+1), Otto
Einführung in die Axiomatische Mengenlehre (2+1), Streicher
Mathematik für Informatiker (4+2), Streicher
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Kohlenbach
Logik und Grundlagen (2+1), Otto
Linear Algebra 2 engl. (4+2), Otto
Seminar (2), Eickmeyer

 

Winter 2017/18








Realizability (2+1), Streicher
Advanced Applied Proof Theory (2+1), Kohlenbach
Introduction to Mathematical Logic (4+2), Otto
Mathematik für Informatiker (4+2), Streicher
Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Kohlenbach
Linear Algebra 1 engl. (4+2), Otto
Seminar (2), Kohlenbach

 

Summer 2017








Basic Applied Proof Theory (2+1), Kohlenbach
Classical and Non-Classical Model Theory (4+2), Otto
Categorical Logic (2+1), Streicher
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Otto
Analysis 2 engl. (4+2), Kohlenbach
Mathematik für Informatiker (4+2), Streicher
Seminar (2), NN

 

Winter 2016/17









Computability (2+1), Kohlenbach
Category Theory (2+1), Streicher
Introduction to Mathematical Logic (4+2), Otto
Mathematik für Informatiker (4+2), Streicher
Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Otto
Analysis 1 engl. (4+2), Kohlenbach
Mathematik für Informatiker (4+2), Streicher
Seminar (2), NN

 

Summer 2016

Advanced Applied Proof Theory (2+1), Kohlenbach
Finite Model Theory (2+1), Otto
Seminar

 

Winter 2015/16

Basic Applied Proof Theory (2+1), Kohlenbach
Mathematical Foundations of Functional Programming II (2+1), Streicher
Introduction to Mathematical Logic

 

Summer 2015




Finite Model Theory (2+1), Otto
Mathematical Foundations of Functional Programming I (2+1), Streicher
Computable Analysis (2+1), Schröder
Seminar: Logic, discrete structures, algorithmic methods (0+2), Otto

 

Winter 2014/15





Introduction to Computability Theory (2+1), Seyfferth(I)
Seminar: Proof Theory, Kohlenbach
Modal Logics (2+1), Otto
Imcompleteness of Formal Systems (2+1), Streicher(I)
Introduction to Mathematical Logic

 

Summer 2014




Advanced Applied Proof Theory (4+2), Kohlenbach   (or Seminar)

(I)
Monadische Logik zweiter Stufe (2+1), Blumensath
Graph Structure Theory and Algorithmic Meta-Theorems (2+1), Eickmeyer(II)
Algebraic Complexity Theory (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
 
Summer 2013







Seminar Proof Theory (0+2), Kohlenbach(I)
Introduction to Computability Theory (2+1), Kohlenbach(I)
Computable Analysis (2+1), Ziegler(I)
Classical and Non-Classical Model Theory (4+2), Otto(II)
Seminar Modal Logics & Epistemic Logics (0+2), Otto
Categorical Logic (2+1), Streicher(III)
Einführung in die axiomatische Mengenlehre (2+1), Streicher
 
Winter 2012/13

Advanced 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
 
Summer 2012




Basic 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)
 
Summer 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)
 
Summer 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 Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang