Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250074 VO 5 ECTS [ en ] Introduction to theoretical computer science
  Fischer, Fr 16:00-18:15 (11×)
• 250098 SE 4 ECTS [ en ] Research seminar in mathematical logic
  Miller, Do 16:00-18:00 (14×)
• 250099 SE 4 ECTS [ en ] Seminar in mathematical logic
  Miller, Mo 14:00-15:00 (15×), Mi 14:00-15:00 (15×)

Topics courses logic

• 250121 VO 4 ECTS [ en ] Advanced topics in mathematical logic
  Miller, Di 14:00-15:00 (15×), Do 14:00-15:00 (14×)