4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250083 VO Introduction to theoretical computer science
• 250084 VO [ en ] Axiomatic set theory 1
• 250085 PS [ en ] Introductory seminar: "Axiomatic set theory 1"
• 250086 PJ+SE Project seminar (Mathematical logic)

Advancede courses, specialization "Logic"

• 250087 VO [ en ] Selected Topics in Set Theory
• 250089 VO [ en ] Model theory
• 250088 PJ+SE Research Seminar