Teaching

The curriculum represents mathematical logic as a foundational discipline with particular emphasis on applications of logical methods in mathematics and computer science. This site describes the structure of our teaching programme. For your schedule please see our current list of courses.


Bachelor

The course

     Introduction to Mathematical Logic
(Einführung in die mathematische Logik)                        
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 winter term.

For general interest in logics and introducing particular advanced subjects we additionally refer to the following introductive courses/Bachelor.

     Logic and Foundations
(Logik und Grundlagen)
2  resp. 2+1                          

Formale Grundlagen der Informatik
(Mathematical Foundations of CS)
4+2

Komplexitätstheorie
(Complexity Theory)
2+2

 


Master

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). 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

Computable Analysis
(Berechenbare Analysis)
2+2

Incompleteness of Formal Systems
(Gödelsche Unvollständigkeitssätze)
2+1






(II)

Modeltheory 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


Advanced Complexity Theory
(Fortschgeschrittene Komplexitätstheorie)
2+1






(III) 

Construktive und 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 funktionalen Programmieung)
4+2 or
2x (2+1)







NB: Not all of these courses ar 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.

Many of the 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.

A A A | Print Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang