Specialization "Mathematical logic and theoretical informatics" (51 ECTS)

Basic courses, specialization "Logic"

• 250069 VO 5 ECTS [ en ] Special Topics in Set Theory
  Fischer, Tu 11:30-13:00 (14×), Th 09:45-11:15 (12×)
• 250089 SE 4 ECTS [ en ] Logic Colloquium
  Aschenbrenner, Th 15:00-16:30 (13×)
• 250102 SE 4 ECTS [ en ] Research Seminar in Set Theory
  Fischer, Th 11:30-13:00 (13×)
• 250153 VO 5 ECTS [ en ] Introduction to theoretical computer science
  Marikova, We 09:45-11:15 (13×), Fr 09:45-11:15 (14×)
• 510010 SE 4 ECTS [ en ] Seminar mathematics (doctoral programm) 2/4
  Aschenbrenner, We 11:30-13:00 (14×)

Advanced courses, specialization "Logic"

• 250073 VO 5 ECTS [ en ] Special Topics in Model Theory
  Aschenbrenner, Tu 13:15-14:45 (14×), Th 13:15-14:45 (12×)