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

The curriculum represents mathematical logic as a foundational discipline with particular emphasis on applications of logical methods in mathematics and computer science.


The course

   
Einführung in die mathematische Logik
(Introduction to Mathematical Logic)
      
4+2
 
[Qualifizierungsmodul/Bachelor]

serves as a comprehensive introduction. This is the canonical entry point for anyone interested in the field. This course is typically offered every summer.

Additional courses for Bachelor students in their 3rd year (Wahlpflichtkurse) offered this winter term comprise
  • Komplexitätstheorie I (2+1)
  • Introduction to Game Theory (2+1)


An in-depth specialisation track in logic (Vertiefungszyklus Logik) in the Master programme comprises a choice of modules from the following courses, most of which can also be taken individually as special courses (Spezialmodule/mathematische Ergänzung) (click here for the current program). The standard choice for a specialisation track in logic would consist of 1x(4+2) or 2x(2+1) units each from two out of the following four areas (I-IV). Other combinations may be admissible after consultation.

(I) Applied Proof Theory

   
Proof Theory
(Beweistheorie)
   
4+2 or 2+1
   
Recursion Theory
(Rekursionstheorie)
   
2+1
   
Incompleteness of Formal Systems
(Gödelsche Unvollständigkeitssätze)
   
2+1

(II) Model Theory and Complexity

   
Model Theory
(Modelltheorie)
   
4+2 or 2+1
   
Finite Model Theory
(Endliche Modelltheorie)
   
2+1
   
Modal Logics
(Modallogiken)
   
2+1
   
Logic and Complexity
(Logik und Komplexität)
   
2+1
   
Complexity Theory I
(Komplexitätstheorie I)
   
2+1
   
Complexity Theory II
(Komplexitätstheorie II)
   
2+1

(III) Constructive and Categorical Logic

   
Category Theory
(Kategorientheorie)
   
2+1
   
Categorical Logic
(Kategorielle Logik)
   
2+1
   
Constructive Logic
(Konstruktive Logik und Mathematik)
   
2+1
   
Realizability
   
2+1

(IV) Foundations of Functional Programming

   
Mathematical Foundations of Functional Programming
(Math. Grundl. der funkt. Programmierung)
   
4+2 or 2x(2+1)

NB: Not all of these courses are on offer every year, some are taught at irregular intervals. We generally ensure that enough courses are offered to complete a specialisation track in logic within any two year cycle (click here for the current program).

Many of these courses, including "Introduction to Mathematical Logic", are regularly taught in English.

We regularly offer student seminars on related topics. The logic group is also actively involved in the teaching of first-year courses in mathematics, as well as in the basic theory track "Formal Foundations of Computer Science" for CS students.