4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250079 VO 6 ECTS Introduction to mathematical logic
  Adler
• 250080 PS 3 ECTS Introductory seminar: "Introduction to mathematical logic"
  Kellner
• 250115 SE 4 ECTS [ en ] Research Seminar: Mathematical Logic
  Friedman
• 250116 SE 4 ECTS [ en ] Seminar (mathematical logic)
  Friedman

Advancede courses, specialization "Logic"

• 250117 VO 4 ECTS [ en ] Selected topics in mathematical logic
  Friedman
• 250118 VO 7 ECTS Set Theory
  Kellner
• 250127 VO 3 ECTS [ en ] Forcing with random variables
  Kellner