Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250100 VO 5 ECTS [ en ] Axiomatic set theory 1
  Müller, Do 11:30-13:45 (14×)
• 250101 PS 3 ECTS [ en ] PS Axiomatic set theory 1
  Fischer, Fr 13:00-14:30 (13×), Fr 16.03. 11:30-14:45, Fr 04.05. 11:30-14:30
• 250102 SE 4 ECTS [ en ] Research seminar in mathematical logic
  Friedman, Do 16:00-18:00 (14×)
• 250103 SE 4 ECTS [ en ] Seminar (Mathematical logic)
  Friedman, Mo 14:00-15:00 (13×), Mi 14:00-15:00 (15×)

Topics courses logic

• 250104 VO 4 ECTS [ en ] Advanced topics in mathematical logic
  Zdomskyy, Di 14:00-15:00 (13×), Do 14:00-15:00 (13×)
• 250137 VO 3 ECTS [ en ] Model theory
  Fischer, Fr 15:00-16:30 (15×)