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

Basic courses, specialization "Logic"

• 250074 VO [ en ] Introduction to theoretical computer science
• 250098 SE [ en ] Research seminar in mathematical logic
• 250099 SE [ en ] Seminar in mathematical logic

Advanced courses, specialization "Logic"

• 250121 VO [ en ] Advanced topics in mathematical logic