Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250095 VO 6 ECTS [ en ] Introduction to mathematical logic
  Fischer, Do 09:00-10:30 (16×), Di 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×), Mi 14:00-15:00 (14×)
• 510002 SE 4 ECTS [ en ] Research Seminar in Mathematical Logic
  Aschenbrenner, Do 15:00-17:00 (16×)

Topics courses logic

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