4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250081 UE Tutorials "Introduction to mathematical logic"
• 250082 VO [ en ] Axiomatic set theory 1
• 250083 PS [ en ] Introductory seminar: "Axiomatic set theory 1"
• 250085 PJ+SE Project seminar (mathematical logic)
• 250084 SE Research Seminar (Mathematical logic)

Advancede courses, specialization "Logic"

• 250086 VO Selected topics in set theory
• 250087 VO Computability and complexity
• 250088 VO Model theory