4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250099 PJ+SE [ en ] Project seminar (Artificial Intelligence)
• 250125 VO [ en ] Axiomatic set theory 1
• 250126 PS [ en ] Introductory seminar: "Axiomatic set theory 1"
• 250127 SE Research Seminar (Mathematical logic)
• 250128 PJ+SE Seminar (Mathematical logic)

Advancede courses, specialization "Logic"

• 250130 VO Selected topics in set theory
• 250131 VO Computability and Complexity