Angebot nach Semestern

  * vorläufige Planung

Winter 2021/22*





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

 

Sommer 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
Vertiefung Logik (4+2), Kohlenbach
Vertiefung Logik (2+1), Otto
Seminar (2), Kohlenbach

 

Winter 2019/20*



Introduction to Mathematical Logic (4+2), Kohlenbach
Mathematik für Chemiker (4+2), Streicher
Vertiefung Logik (2+1), Kohlenbach
Incompleteness (2+1), Streicher
Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Eickm.

 

Sommer 2019*



Mathematik für Informatiker 2 (4+2), Streicher
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer/Otto
Mathematical Foundations of Functional Programming 2 (2+1), Streicher
Vertiefung Logik (2+1), Otto

 

Winter 2018/19*





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

 

Sommer 2018*








Applied Proof Theory (4+2), Kohlenbach
Modal Logics (2+1), Otto
Einführung in die Axiomatische Mengenlehre (2+1), Streicher
Logik und Grundlagen (2+1), Eickmeyer/Otto
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Kohlenbach
Mathematik für Informatiker (4+2), Streicher
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

 

Sommer 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), Otto

 

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
Seminar (2), NN

 

Sommer 2016




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

 

Winter 2015/16

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

 

Sommer 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

 

Sommer 2014




Advanced Applied Proof Theory (2+1), Kohlenbach (oder Seminar)(I)
Monadische Logik zweiter Stufe (2+1), Blumensath
Graph Structure Theory and Algorithmic Meta-Theorems (Vertiefung 2+1), Eickmeyer(II)
Algebraic Complexity Theory (2+1), Ziegler
 
Winter 2013/14Basic 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