Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250089 SE 4 ECTS [ en ] Logic Colloquium
  Aschenbrenner, Do 15:00-16:30 (14×)
• 250102 SE 4 ECTS [ en ] Research Seminar in Set Theory
  Fischer, Do 11:30-13:00 (14×), Di 20.06. 16:45-18:15
• 250134 VO 6 ECTS [ en ] Introduction to Mathematical logic
  Marikova, Mi 13:15-14:45 (15×), Mo 13:15-14:45 (12×)
• 250135 PS 3 ECTS [ en ] Introductory Seminar on Mathematical Logic
  Gehret, Mo 08:00-09:30 (12×)
• 510010 SE 4 ECTS [ en ] Research Seminar in Model Theory (VSM)
  Aschenbrenner, Mi 15:00-16:30 (16×)

Topics courses logic

• 250136 VO 6 ECTS [ en ] Topics in Model Theory
  Aschenbrenner, Do 13:15-14:45 (13×), Di 13:15-14:45 (14×)
• 250137 VO 3 ECTS [ en ] Topics in Set Theory
  Fischer, Do 09:45-11:15 (13×)