4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250121 VO 6 ECTS Introduction to Mathematical Logic
  Walczak-Typke
• 250122 PS 3 ECTS Introductory Seminar to Introduction to Mathematical Logic
  Kellner
• 250123 VO 5 ECTS Introduction to Theoretical Informatic
  Kellner, We 16:00-17:10 (16×), Tu 17:00-18:05 (14×)
• 250124 SE 4 ECTS Seminar in Mathematical Logic
  Friedman
• 250126 SE 4 ECTS Reserch Seminar: Mathematical Logic
  Friedman

Advancede courses, specialization "Logic"

• 250125 VO 4 ECTS Selected topics in Mathematical Logic
  Friedman