Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250099 SE [ en ] ( VOR-ORT ) Research seminar in set theory
• 250124 SE [ en ] ( VOR-ORT ) Logic Colloquium
• 250153 VO [ en ] ( VOR-ORT ) Introduction to theoretical computer science
• 510004 SE [ en ] ( VOR-ORT ) Research seminar in Model Theory

Topics courses logic

• 250042 PS [ en ] ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
• 250078 VO [ en ] ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
• 250123 VO [ en ] ( VOR-ORT ) Special Topics in Set Theory
• 250158 VO [ en ] ( VOR-ORT ) Topics Course Mathematical Logic