4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250087 VO 5 ECTS [ en ] Axiomatic set theory 1
  Fischer, Mo 08:30-11:00 (14×)
• 250088 PS 3 ECTS [ en ] Introductory seminar: "Axiomatic set theory 1"
  Koelbing, Fr 09:00-10:30 (14×)
• 250089 PJ+SE 4 ECTS [ en ] Project seminar (mathematical logic)
  Friedman, We 14:00-15:00 (16×), Mo 14:00-15:00 (14×)

Advancede courses, specialization "Logic"

• 250090 VO 3 ECTS [ en ] Selected topics in mathematical logic
  Friedman, Tu 14:00-15:00 (15×), Th 14:00-15:00 (14×)
• 250091 SE 4 ECTS [ en ] Research Seminar (Mathematical logic)
  Friedman, Th 16:00-18:00 (14×)
• 250092 VO 3 ECTS [ en ] Model theory
  Müller, Tu 17:30-19:00 (15×)