Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250099 SE 4 ECTS [ en ] ( VOR-ORT ) Research seminar in set theory
  Fischer, Di 15:00-16:30 (14×), Do 03.11. 16:45-18:15, Di 06.12. 16:45-18:15
• 250124 SE 4 ECTS [ en ] ( VOR-ORT ) Logic Colloquium
  Aschenbrenner, Do 15:00-16:30 (13×), Do 15.12. 16:45-18:15
• 250153 VO 5 ECTS [ en ] ( VOR-ORT ) Introduction to theoretical computer science
  Marikova, Mo 13:15-14:45 (15×), Mi 13:15-14:45 (12×)
• 510004 SE 4 ECTS [ en ] ( VOR-ORT ) Research seminar in Model Theory
  Aschenbrenner, Mi 15:00-16:30 (12×)

Topics courses logic

• 250042 PS 4 ECTS ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Gr. 1 [ en ] Garre Rubio, Mi 08:00-09:30 (12×)
  Gr. 2 [ en ] Molnár, Mo 08:00-09:30 (15×)
• 250078 VO 6 ECTS [ en ] ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Schuch, Mo 13:15-14:45 (15×), Fr 09:45-11:15 (14×)
• 250123 VO 5 ECTS [ en ] ( VOR-ORT ) Special Topics in Set Theory
  Montoya Amaya, Di 09:45-11:15 (14×), Do 09:45-11:15 (13×)
• 250158 VO 6 ECTS [ en ] ( VOR-ORT ) Topics Course Mathematical Logic
  Aschenbrenner, Di 13:15-14:45 (14×), Do 13:15-14:45 (13×)