4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250118 VO 6 ECTS Introduction to Mathematical Logic
  Adler
• 250119 PS 3 ECTS Proseminar to Introduction to Mathematical Logic
  Kellner
• 250122 SE 4 ECTS Seminar in Mathematical Logic
  Friedman
• 250123 SE 4 ECTS Research Seminar: Mathematical Logic
  Friedman

Advancede courses, specialization "Logic"

• 250120 VO 3 ECTS [ en ] Axiomatic Set Theory 2
  Kellner, Th 11:00-12:30 (14×)
• 250121 VO 3 ECTS Applications of Mathematical Logic
  Goldstern, Th 09:00-11:00 (15×)