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

Basic courses, specialization "Logic"

• 250095 VO 6 ECTS [ en ] Introduction to mathematical logic
  Fischer, Th 09:00-10:30 (16×), Tu 09:00-10:30 (13×)
• 250098 PS 3 ECTS [ en ] Introductory seminar on mathematical logic
  Montoya Amaya, Mo 09:00-10:30 (12×)
• 250099 SE 4 ECTS [ en ] Seminar in mathematical logic
  Miller, Mo 14:00-15:00 (12×), We 14:00-15:00 (14×)
• 510002 SE 4 ECTS [ en ] Research Seminar in Mathematical Logic
  Aschenbrenner, Th 15:00-17:00 (16×)

Advanced courses, specialization "Logic"

• 250120 VO 6 ECTS [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
  Schuch, Mo 13:30-15:00 (12×), Tu 11:00-12:30 (13×)
• 250121 VO 4 ECTS [ en ] Advanced topics in mathematical logic
  Miller, Th 14:00-15:00 (16×), Tu 14:00-15:00 (13×)
• 250122 PS 4 ECTS [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
  Schuch, Tu 14:00-15:30 (13×)