4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250099 PJ+SE 4 ECTS [ en ] Project seminar (Artificial Intelligence)
  Neumaier, We 13:15-14:45 (15×)
• 250125 VO 5 ECTS [ en ] Axiomatic set theory 1
  Zdomskyy
• 250126 PS 3 ECTS [ en ] Introductory seminar: "Axiomatic set theory 1"
  Latif
• 250127 SE 4 ECTS Research Seminar (Mathematical logic)
  Friedman
• 250128 PJ+SE 4 ECTS Seminar (Mathematical logic)
  Friedman

Advancede courses, specialization "Logic"

• 250130 VO 4 ECTS Selected topics in set theory
  Friedman
• 250131 VO 3 ECTS Computability and Complexity
  Müller