4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250102 VO Introduction to theoretical computer science
• 250103 VO Introduction to mathematical logic
• 250104 PS Introductory seminar: "Introduction to mathematical logic"
• 250105 SE Seminar (mathematical logic)

Advancede courses, specialization "Logic"

• 250106 VO Selected topics in mathematical logic
• 250107 SE Research seminar in mathematical logic
• 250108 VO Set theory (reading course)