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

Basic courses, specialization "Logic"

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

Advanced courses, specialization "Logic"

• 250136 VO 6 ECTS [ en ] Topics in Model Theory
  Aschenbrenner, Tu 13:15-14:45 (15×), Th 13:15-14:45 (11×)
• 250137 VO 6 ECTS [ en ] Topics in Set Theory
  Fischer, Tu 08:00-09:30 (13×), Th 08:00-09:30 (11×)
• 250138 VO 6 ECTS [ en ] Dynamics of Polish Groups
  Panagiotopoulos, Tu 09:45-11:15 (15×), Th 09:45-11:15 (11×)