Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250100 VO [ en ] Axiomatic set theory 1
• 250179 PS [ en ] Introductory seminar on Axiomatic set theory 1
• 250052 VO [ en ] Introduction to Theoretical Computer Science
• 250103 SE [ en ] Seminar in Mathematical Logic
• 510005 SE [ en ] Research Seminar in Mathematical Logic VSM

Topics courses logic

• 250053 VO [ en ] Model Theory of Valued Fields