TUD FB  Mathematik
| Deutsch
  | Home | Institute of Mathematics | TU Darmstadt  
Contact
Research
Staff
Events
Teaching
Teaching
 

The following logic courses and seminars have already been scheduled (apart from the regular Introduction to Mathematical Logic offered every summer term).

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

* may be replaced by Recursion Theory depending on demand.
** tentatively planned.

Finite Model Theory and Complexity Theory II fit together nicely to naturally comprise a specialization track (4+2).