Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250089 SE 4 ECTS [ en ] Logic Colloquium
  Aschenbrenner, Do 15:00-16:30 (12×)
• 250102 SE 4 ECTS [ en ] Research Seminar in Set Theory
  Fischer, Do 11:30-13:00 (12×)
• 250153 VO 5 ECTS [ en ] Introduction to theoretical computer science
  Marikova, Mo 11:30-13:00 (14×), Mi 09:45-11:15 (14×)
• 510010 SE 4 ECTS [ en ] Research Seminar in Model Theory (VSM)
  Aschenbrenner, Mi 11:30-13:00 (14×)

Topics courses logic

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