4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250073 VO 5 ECTS [ en ] Introduction to theoretical computer science
  Müller, Tu 12:20-13:50 (10×), We 16:15-17:45 (9×)
• 250074 VO 6 ECTS [ en ] Introduction to mathematical logic
  Fischer, Tu 09:00-10:30 (14×), We 05.10. 08:30-10:00, Fr 09:00-10:30 (13×)
• 250075 PS 3 ECTS [ en ] Introductory seminar on mathematical logic
  Montoya Amaya, We 10:00-11:30 (12×)
• 250098 SE 4 ECTS [ en ] Research seminar in mathematical logic
  Friedman, Mo 03.10. 16:00-18:00, Th 16:00-18:00 (12×)
• 250099 SE 4 ECTS [ en ] Seminar (Mathematical logic)
  Friedman, Mo 14:00-15:00 (15×), We 14:00-15:00 (12×)

Advancede courses, specialization "Logic"

• 250121 VO 4 ECTS [ en ] Selected topics in set theory
  Miller, Tu 14:00-15:00 (14×), Th 14:00-15:00 (13×)
• 250122 VO 7 ECTS [ en ] Reading course in mathematical logic
  Zdomskyy, Mo 12:20-13:50 (14×)
• 250130 VO 3 ECTS [ en ] Topics in computability
  Müller, Tu 15:30-17:30 (10×)