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

Basic courses, specialization "Logic"

• 250095 VO [ en ] Introduction to mathematical logic
• 250098 PS [ en ] Introductory seminar on mathematical logic
• 250099 SE [ en ] Seminar in mathematical logic
• 510002 SE [ en ] Research Seminar in Mathematical Logic

Advanced courses, specialization "Logic"

• 250120 VO [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
• 250121 VO [ en ] Advanced topics in mathematical logic
• 250122 PS [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms