TUD FB  Mathematik
| English
  | Home | Fachbereich Mathematik | TU Darmstadt  
Kontakt
Forschung
Mitarbeiter
Events
Lehre
Lehre
 

Die folgenden Logik Vorlesungen und Seminare sind bereits geplant (zusätzlich zur Einführung in die Mathematische Logik, die jedes Sommersemester angeboten wird).

(I) (II) (III)
Winter 2009/10 Proof Theory I Seminar Category Theory
Summer 2010 Proof Theory II * Model Theory Categorical Logic
Winter 2010/11 ? Finite Model Theory (2+1)
Komplexitätstheorie II (2+1)
?
Summer 2011 ? ? ?

* je nach bedarf eventuell Recursion Theory anstelle von Proof Theory II
** vorläufige Planung

Finite Model Theory und Komplexitätstheorie II bilden zusammen in natürlicher Weise ein Vertiefungs- oder Ergänzungsmodul.

Proof Theory I/II Beweistheorie, jeweils (2+1)
Recursion Theory Rekursionstheorie
Category Theory Kategorientheorie (2+1)
Categorical Logic Kategorische Logik (2+1)
Model Theory Modelltheorie (2+1)
Finite Model Theory Endliche Modelltheorie (2+1)
Complexity Theory Komplexitätstheorie I+II (je 2+1)