Specialization "Mathematical logic and theoretical informatics" (51 ECTS)

Basic courses, specialization "Logic"

• 250074 VO 5 ECTS [ en ] Introduction to theoretical computer science
  Fischer, Th 09:00-12:00 (15×)
• 250099 SE 4 ECTS [ en ] Seminar in mathematical logic
  Miller, We 14:00-15:00 (14×), Mo 14:00-15:00 (14×)

Advanced courses, specialization "Logic"

• 250116 VO 3 ECTS [ en ] Axiomatic Set Theory 2
  Eskew, We 12:30-13:30 (15×), Mo 12:30-13:30 (14×)
• 250121 VO 4 ECTS [ en ] Advanced topics in mathematical logic
  Miller, Tu 14:00-15:00 (16×), Th 14:00-15:00 (15×)
• 442505 SE 4 ECTS [ en ] Research Seminar in mathematical logic
  Miller, Th 16:00-18:00 (15×)