4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250079 VO Introduction to mathematical logic
• 250080 PS Introductory seminar: "Introduction to mathematical logic"
• 250115 SE [ en ] Research Seminar: Mathematical Logic
• 250116 SE [ en ] Seminar (mathematical logic)

Advancede courses, specialization "Logic"

• 250117 VO [ en ] Selected topics in mathematical logic
• 250118 VO Set Theory
• 250127 VO [ en ] Forcing with random variables