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

Basic courses, specialization "Logic"

• 250095 VO 6 ECTS [ en ] ( ON-SITE ) Introduction to mathematical logic
  Marikova, Tu 13:15-14:45 (12×), Th 13:15-14:45 (14×)
• 250098 PS 3 ECTS [ en ] ( MIXED ) Introductory seminar on mathematical logic
  Gehret, We 09:45-11:15 (13×)
• 250099 SE 4 ECTS [ en ] ( MIXED ) Research seminar in set theory
  Fischer, Tu 15:00-16:30 (12×), Tu 18:30-20:00 (2×), Fr 07.01. 11:00-12:30, Tu 18.01. 16:45-18:15
• 250118 SE 4 ECTS [ en ] ( MIXED ) Research seminar in model theory
  Aschenbrenner, We 15:00-16:30 (13×)
• 250124 SE 4 ECTS [ en ] ( MIXED ) Logic Colloquium
  Aschenbrenner, Th 15:00-15:45 (12×), Th 13.01. 13:15-14:45

Advanced courses, specialization "Logic"

• 250042 PS 4 ECTS ( ON-SITE ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Gr. 1 [ en ] Schuch, Th 08:00-09:30 (14×)
  Gr. 2 [ en ] Garre Rubio, Mo 16:45-18:15 (14×)
• 250078 VO 6 ECTS [ en ] ( ON-SITE ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Schuch, We 13:15-14:45 (13×), Th 13:15-14:45 (14×)
• 250119 VO 5 ECTS [ en ] ( MIXED ) Model theory
  Aschenbrenner, Fr 13:15-14:45 (16×), We 13:15-14:45 (13×)
• 250123 VO 5 ECTS [ en ] ( MIXED ) Special Topics in Set Theory
  Switzer, Tu 09:45-11:15 (12×), Th 09:45-11:15 (14×)