Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250095 VO [ en ] ( VOR-ORT ) Introduction to mathematical logic
• 250098 PS [ en ] ( GEMISCHT ) Introductory seminar on mathematical logic
• 250099 SE [ en ] ( GEMISCHT ) Research seminar in set theory
• 250118 SE [ en ] ( GEMISCHT ) Research seminar in model theory
• 250124 SE [ en ] ( GEMISCHT ) Logic Colloquium

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
• 250119 VO [ en ] ( GEMISCHT ) Model theory
• 250123 VO [ en ] ( GEMISCHT ) Special Topics in Set Theory