4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250114 VO 5 ECTS [ en ] Axiomatic Set Theory 1
  Kellner
• 250115 PS 3 ECTS [ en ] Introductory Seminar: Axiomatic Set Theory 1
  Holy
• 250116 PJ+SE 4 ECTS Project Seminar in Mathematical Logic
  Friedman

Advancede courses, specialization "Logic"

• 250117 VO 3 ECTS Recursion Theory
  Adler
• 250119 VO 3 ECTS Modal Logic
  Telec
• 250118 VO 3 ECTS Selected Topics in Set Theory
  Friedman
• 250120 SE 4 ECTS Research Seminar: Mathematical Logic
  Friedman