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

Basic courses, specialization "Logic"

• 250100 VO 5 ECTS [ en ] Axiomatic set theory 1
  Fischer, Tu 08:45-10:15 (15×), Th 08:45-10:15 (13×)
• 250179 PS 3 ECTS [ en ] Introductory seminar on Axiomatic set theory 1
  Fischer, Fr 08:45-10:15 (14×)
• 250052 VO 5 ECTS [ en ] Introduction to Theoretical Computer Science
  Marikova, Mo 11:15-12:45 (15×), We 08:45-10:15 (16×)
• 250103 SE 4 ECTS [ en ] Seminar in Mathematical Logic
  Miller, Mo 16:45-17:30 (15×), We 16:45-17:30 (16×)
• 510005 SE 4 ECTS [ en ] Research Seminar in Mathematical Logic VSM
  Aschenbrenner, Th 15:00-16:30 (13×)

Advanced courses, specialization "Logic"

• 250053 VO 3 ECTS [ en ] Model Theory of Valued Fields
  Aschenbrenner, Tu 10:30-11:15 (15×), Th 10:30-11:15 (13×)