Specialization "Mathematical logic and theoretical informatics" (51 ECTS)
Basic courses, specialization "Logic"
- 250073 VO [ en ] Introduction to theoretical computer science
- 250074 VO [ en ] Introduction to mathematical logic
- 250075 PS [ en ] Introductory seminar on mathematical logic
- 250098 SE [ en ] Research seminar in mathematical logic
- 250099 SE [ en ] Seminar (Mathematical logic)
Advanced courses, specialization "Logic"
- 250121 VO [ en ] Selected topics in set theory
- 250122 VO [ en ] Reading course in set theory
Last modified: Tu 12.06.2018 13:33