4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250075 VO [ en ] Axiomatic set theory 1
• 250076 PS [ en ] Introductory seminar: "Axiomatic set theory 1"
• 250077 VO Introduction to theoretical computer science
• 250118 SE Research seminar in mathematical logic
• 250119 PJ+SE Project seminar (mathematical logic)

Advancede courses, specialization "Logic"

• 250120 VO Selected topics in set theory
• 250121 VO Recursion Theory
• 250132 VO Applications of mathematical logic