4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250102 VO 5 ECTS Introduction to theoretical computer science
  Müller
• 250103 VO 6 ECTS Introduction to mathematical logic
  Kellner
• 250104 PS 3 ECTS Introductory seminar: "Introduction to mathematical logic"
  Müller
• 250105 SE 4 ECTS Seminar (mathematical logic)
  Friedman

Advancede courses, specialization "Logic"

• 250106 VO 4 ECTS Selected topics in mathematical logic
  Friedman
• 250107 SE 4 ECTS Research seminar in mathematical logic
  Friedman
• 250108 VO 7 ECTS Set theory (reading course)
  Khomskii