4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250083 VO 5 ECTS Introduction to theoretical computer science
  Müller
• 250084 VO 5 ECTS [ en ] Axiomatic set theory 1
  Zdomskyy
• 250085 PS 3 ECTS [ en ] Introductory seminar: "Axiomatic set theory 1"
  Hoffelner
• 250086 PJ+SE 4 ECTS Project seminar (Mathematical logic)
  Friedman

Advancede courses, specialization "Logic"

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