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"
- 250089 SE [ en ] Logic Colloquium
- 250102 SE [ en ] Research Seminar in Set Theory
- 250153 VO [ en ] Introduction to theoretical computer science
- 510010 SE [ en ] Seminar mathematics (doctoral programm) 2/4
Advanced courses, specialization "Logic"
- 250136 VO [ en ] Topics in Model Theory
- 250137 VO [ en ] Topics in Set Theory
- 250138 VO [ en ] Dynamics of Polish Groups
Last modified: Fr 10.01.2025 00:44