Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250043 VO [ en ] Introduction to Mathematical Logic
• 250064 PS [ en ] Introduction to Mathematical Logic
• 250097 SE [ en ] Logic Colloquium
• 250102 SE [ en ] Research Seminar in Set Theory
• 510010 SE [ en ] Research Seminar in Model Theory (VSM)

Topics courses logic

• 250113 VO [ en ] Introduction to Model Theory
• 250120 PS [ en ] Introduction to Model Theory
• 250121 VO [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
• 250122 PS [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
• 250162 VO [ en ] Topics in Axiomatic Set Theory