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

Basic courses, specialization "Logic"

• 250099 SE [ en ] ( ON-SITE ) Research seminar in set theory
• 250124 SE [ en ] ( ON-SITE ) Logic Colloquium
• 250153 VO [ en ] ( ON-SITE ) Introduction to theoretical computer science
• 510004 SE [ en ] ( ON-SITE ) Research seminar in Model Theory

Advanced courses, specialization "Logic"

• 250042 PS [ en ] ( ON-SITE ) Quantum Information, Quantum Computing, and Quantum Algorithms
• 250078 VO [ en ] ( ON-SITE ) Quantum Information, Quantum Computing, and Quantum Algorithms
• 250123 VO [ en ] ( ON-SITE ) Special Topics in Set Theory
• 250158 VO [ en ] ( ON-SITE ) Topics Course Mathematical Logic