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

Basic courses, specialization "Logic"

• 250089 SE [ en ] Logic Colloquium
• 250100 VO [ en ] ( MIXED ) Axiomatic set theory 1
• 250102 SE [ en ] ( MIXED ) Research Seminar in Set Theory
• 250179 PS [ en ] Introductory seminar on Axiomatic set theory 1
• 510008 SE [ en ] Research Seminar in Model Theory (VSM)

Advanced courses, specialization "Logic"

• 250053 VO [ en ] ( MIXED ) Special Topics in Set Theory
• 250091 VO [ en ] Special Topics in Model Theory