Warning! The directory is not yet complete and will be amended until the beginning of the term.
Specialization "Mathematical logic and theoretical informatics" (51 ECTS)
Basic courses, specialization "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)
Advanced courses, specialization "Logic"
- 250121 VO [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
- 250122 PS [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
- 250125 VO [ en ] Topics in Set Theory
- 250126 VO [ en ] Topics in Model Theory
Last modified: Tu 02.09.2025 10:32