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, Th 11:30-13:00 (12×), Th 12.10. 16:45-18:15, Fr 13.10. 09:45-11:15
• 250124 SE 4 ECTS [ en ] ( ON-SITE ) Logic Colloquium
  Aschenbrenner, Th 15:00-16:30 (12×)
• 250136 VO 5 ECTS [ en ] ( ON-SITE ) Axiomatic set theory 1
  Fischer, Tu 09:45-11:15 (12×), Th 09:45-11:15 (10×)
• 250137 PS 3 ECTS [ en ] ( ON-SITE ) Introductory seminar on Axiomatic set theory 1
  Millhouse, Tu 11:30-13:00 (15×)
• 510004 SE 4 ECTS [ en ] ( ON-SITE ) Research seminar in Model Theory
  Aschenbrenner, We 11:30-13:00 (14×), We 06.12. 15:00-16:30

Advanced courses, specialization "Logic"

• 250042 PS 4 ECTS ( ON-SITE ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Gr. 1 [ en ] Garre Rubio, We 11:30-13:00 (14×)
  Gr. 2 [ en ] Molnár, Tu 09:45-11:15 (15×)
• 250078 VO 6 ECTS [ en ] ( ON-SITE ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Schuch, Mo 16:45-18:15 (15×), Fr 11:30-13:00 (13×)
• 250138 VO 6 ECTS [ en ] ( ON-SITE ) Model Theory
  Aschenbrenner, Tu 13:15-14:45 (14×), Th 13:15-14:45 (12×)