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

Basic courses, specialization "Logic"

• 250097 VO [ en ] Introduction to Mathematical logic
• 250099 SE [ en ] Research seminar in set theory
• 250124 SE [ en ] Logic Colloquium
• 250135 PS [ en ] Introduction to Mathematical Logic
• 250136 VO [ en ] Axiomatic set theory 1
• 250137 PS [ en ] Axiomatic set theory 1
• 510004 SE [ en ] Research seminar in Model Theory

Advanced courses, specialization "Logic"

• 250042 PS [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
• 250078 VO [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
• 250138 VO [ en ] Model Theory