Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250068 VO [ en ] Introduction to Theoretical Computer Science
• 250097 SE [ en ] Logic Colloquium
• 250102 SE [ en ] Research Seminar in Set Theory
• 510010 SE [ en ] Research Seminar in Model Theory (VSM)

Topics courses logic

• 180132 KU Philosophie und Mathematik
• 250031 PS [ en ] Introduction to Descriptive Set Theory
• 250035 VO [ en ] Introduction to Descriptive Set Theory
• 250125 VO [ en ] Topics in Set Theory - Infinitary combinatorics
• 250126 VO [ en ] Topics in Model Theory - Model Theory and Combinatorics