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

Basic courses, specialization "Logic"

• 250043 VO 6 ECTS [ en ] ML1 Core Module VO
  N.N., Th 08:00-09:30 (16×), Tu 08:00-09:30 (14×)
• 250064 PS 4 ECTS [ en ] ML1 PS Core Module
  N.N., Mo 13:15-14:45 (13×)
• 250097 SE 4 ECTS [ en ] MSE Seminar (4 ECTS)
  N.N., Th 15:00-16:30 (16×)
• 250102 SE 4 ECTS [ en ] Research Seminar in Set Theory
  N.N., Th 11:30-13:00 (16×)
• 510010 SE 4 ECTS [ en ] Seminar mathematics (doctoral programm) 2/4
  N.N., We 11:30-13:00 (16×)

Advanced courses, specialization "Logic"

• 250121 VO 6 ECTS [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
  N.N., Th 16:45-18:15 (16×), Fr 16:45-18:15 (16×)
• 250122 PS 4 ECTS Quantum Information, Quantum Computing, and Quantum Algorithms
  Gr. 1 [ en ] N.N.
  Gr. 2 [ en ] N.N.
• 250125 VO 6 ECTS [ en ] Topics in Set Theory
  N.N., Th 09:45-11:15 (16×), Tu 09:45-11:15 (14×)
• 250126 VO 6 ECTS [ en ] Topics in Model Theory
  N.N., Th 13:15-14:45 (16×), Tu 13:15-14:45 (14×)