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

Basic courses, specialization "Logic"

• 250089 SE 4 ECTS [ en ] Logic Colloquium
  Aschenbrenner, Th 15:00-16:30 (14×)
• 250100 VO 5 ECTS [ en ] ( MIXED ) Axiomatic set theory 1
  Fischer, Tu 09:45-11:15 (15×), Th 09:45-11:15 (14×)
• 250102 SE 4 ECTS [ en ] ( MIXED ) Research Seminar in Set Theory
  Fischer, Tu 15:00-16:30 (15×), We 25.05. 11:30-13:00, Tu 28.06. 16:45-18:15
• 250179 PS 3 ECTS [ en ] Introductory seminar on Axiomatic set theory 1
  Millhouse, Mo 13:15-14:45 (14×)
• 510008 SE 4 ECTS [ en ] Research Seminar in Model Theory (VSM)
  Aschenbrenner, We 15:00-16:30 (16×)

Advanced courses, specialization "Logic"

• 250053 VO 3 ECTS [ en ] ( MIXED ) Special Topics in Set Theory
  Zdomskyy, Fr 09:45-11:15 (14×)
• 250091 VO 5 ECTS [ en ] Special Topics in Model Theory
  Aschenbrenner, Tu 13:15-14:45 (15×), Th 13:15-14:45 (14×)