Mathematical logic and theoretical computer science (51 ECTS)

Core modules 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 ] Research Seminar in Model Theory (VSM)

Topics courses logic

• 250136 VO [ en ] Topics in Model Theory
• 250137 VO [ en ] Topics in Set Theory
• 250138 VO [ en ] Dynamics of Polish Groups