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

Basic courses, specialization "Logic"

• 250100 VO 5 ECTS [ en ] Axiomatic set theory 1
  Müller, Th 12:00-13:30 (9×), Th 13:45-15:15 (9×)
• 250102 SE 4 ECTS [ en ] Research seminar in mathematical logic
  Miller, Th 16:00-18:00 (12×)
• 250103 SE 4 ECTS [ en ] Seminar (Mathematical logic)
  Miller, Tu 14:00-16:00 (15×)
• 250168 VO 6 ECTS [ en ] Introduction to mathematical logic
  Fischer, Tu 08:45-11:00 (11×), Th 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, We 14:00-15:30 (15×)

Advanced courses, specialization "Logic"

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