Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250099 SE 4 ECTS [ en ] ( VOR-ORT ) Research seminar in set theory
  Fischer, Do 11:30-13:00 (12×), Do 12.10. 16:45-18:15, Fr 13.10. 09:45-11:15
• 250124 SE 4 ECTS [ en ] ( VOR-ORT ) Logic Colloquium
  Aschenbrenner, Do 15:00-16:30 (12×)
• 250136 VO 5 ECTS [ en ] ( VOR-ORT ) Axiomatic set theory 1
  Fischer, Di 09:45-11:15 (12×), Do 09:45-11:15 (10×)
• 250137 PS 3 ECTS [ en ] ( VOR-ORT ) Introductory seminar on Axiomatic set theory 1
  Millhouse, Di 11:30-13:00 (15×)
• 510004 SE 4 ECTS [ en ] ( VOR-ORT ) Research seminar in Model Theory
  Aschenbrenner, Mi 11:30-13:00 (14×), Mi 06.12. 15:00-16:30

Topics courses logic

• 250042 PS 4 ECTS ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Gr. 1 [ en ] Garre Rubio, Mi 11:30-13:00 (14×)
  Gr. 2 [ en ] Molnár, Di 09:45-11:15 (15×)
• 250078 VO 6 ECTS [ en ] ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Schuch, Mo 16:45-18:15 (15×), Fr 11:30-13:00 (13×)
• 250138 VO 6 ECTS [ en ] ( VOR-ORT ) Model Theory
  Aschenbrenner, Di 13:15-14:45 (14×), Do 13:15-14:45 (12×)