Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250100 VO 5 ECTS [ en ] Axiomatic set theory 1
  Müller, Do 12:00-13:30 (9×), Do 13:45-15:15 (9×)
• 250102 SE 4 ECTS [ en ] Research seminar in mathematical logic
  Miller, Do 16:00-18:00 (12×)
• 250103 SE 4 ECTS [ en ] Seminar (Mathematical logic)
  Miller, Di 14:00-16:00 (15×)
• 250168 VO 6 ECTS [ en ] Introduction to mathematical logic
  Fischer, Di 08:45-11:00 (11×), Do 08:45-11:00 (9×)
• 250170 PS 3 ECTS [ en ] Introductory seminar on mathematical logic
  Levine, Mo 10:30-11:55 (14×)
• 250179 PS 3 ECTS [ en ] Introductory seminar on Axiomatic set theory 1
  Schilhan, Mi 14:00-15:30 (15×)

Topics courses logic

• 250104 VO 4 ECTS [ en ] Advanced topics in mathematical logic
  Müller, Fr 08:45-11:00 (10×)