Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250073 VO 5 ECTS [ en ] Introduction to theoretical computer science
  Fischer, Di 15:15-17:30 (14×)
• 250074 VO 6 ECTS [ en ] Introduction to mathematical logic
  Müller, Mi 16:30-18:00 (14×), Fr 15:00-16:30 (13×)
• 250075 PS 3 ECTS [ en ] Introductory seminar on mathematical logic
  Koelbing, Fr 10:45-12:15 (13×)
• 250098 SE 4 ECTS [ en ] Research seminar in mathematical logic
  Friedman, Do 16:00-18:00 (12×)
• 250099 SE 4 ECTS [ en ] Seminar (Mathematical logic)
  Friedman, Mo 14:00-15:00 (15×), Mi 14:00-15:00 (14×)

Topics courses logic

• 250121 VO 4 ECTS [ en ] Selected topics in set theory
  Miller, Di 14:00-15:00 (15×), Do 14:00-15:00 (12×)
• 250122 VO 7 ECTS [ en ] Reading course in set theory
  Fischer, Fr 09:00-10:30 (13×)