Specialization "Mathematical logic and theoretical informatics" (51 ECTS)

Basic courses, specialization "Logic"

• 250099 SE 4 ECTS [ en ] ( ON-SITE ) Research seminar in set theory
  Fischer, Tu 15:00-16:30 (14×), Th 03.11. 16:45-18:15, Tu 06.12. 16:45-18:15
• 250124 SE 4 ECTS [ en ] ( ON-SITE ) Logic Colloquium
  Aschenbrenner, Th 15:00-16:30 (13×), Th 15.12. 16:45-18:15
• 250153 VO 5 ECTS [ en ] ( ON-SITE ) Introduction to theoretical computer science
  Marikova, Mo 13:15-14:45 (15×), We 13:15-14:45 (12×)
• 510004 SE 4 ECTS [ en ] ( ON-SITE ) Research seminar in Model Theory
  Aschenbrenner, We 15:00-16:30 (12×)

Advanced courses, specialization "Logic"

• 250042 PS 4 ECTS ( ON-SITE ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Gr. 1 [ en ] Garre Rubio, We 08:00-09:30 (12×)
  Gr. 2 [ en ] Molnár, Mo 08:00-09:30 (15×)
• 250078 VO 6 ECTS [ en ] ( ON-SITE ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Schuch, Mo 13:15-14:45 (15×), Fr 09:45-11:15 (14×)
• 250123 VO 5 ECTS [ en ] ( ON-SITE ) Special Topics in Set Theory
  Montoya Amaya, Tu 09:45-11:15 (14×), Th 09:45-11:15 (13×)
• 250158 VO 6 ECTS [ en ] ( ON-SITE ) Topics Course Mathematical Logic
  Aschenbrenner, Tu 13:15-14:45 (14×), Th 13:15-14:45 (13×)