4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250126 VO 5 ECTS Axiomatic Set Theory 1
  Walczak-Typke
• 250127 PS 3 ECTS Introductory Seminar to Axiomatic Set Theory 1
  Holy
• 250131 SE 4 ECTS Project Seminar in Mathematical Logic
  Friedman
• 250132 SE 4 ECTS Reserch Seminar: Mathematical Logic
  Friedman

Advancede courses, specialization "Logic"

• 250128 VO 3 ECTS Recursion Theory
  Kellner
• 250129 VO 3 ECTS Non classical Logics
  Telec
• 250130 VO 3 ECTS Selected topics in set theory
  Friedman
• 250143 VO 3 ECTS [ en ] Advanced set theory: Mutual stationarity
  Welch