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 ] ML1 Core Module VO
- 250064 PS [ en ] ML1 PS Core Module
- 250097 SE [ en ] MSE Seminar (4 ECTS)
- 250102 SE [ en ] Research Seminar in Set Theory
- 510010 SE [ en ] Seminar mathematics (doctoral programm) 2/4
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: Fr 27.06.2025 00:46