Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250095 VO 6 ECTS [ en ] ( VOR-ORT ) Introduction to mathematical logic
  Marikova, Di 13:15-14:45 (12×), Do 13:15-14:45 (14×)
• 250098 PS 3 ECTS [ en ] ( GEMISCHT ) Introductory seminar on mathematical logic
  Gehret, Mi 09:45-11:15 (13×)
• 250099 SE 4 ECTS [ en ] ( GEMISCHT ) Research seminar in set theory
  Fischer, Di 15:00-16:30 (12×), Di 18:30-20:00 (2×), Fr 07.01. 11:00-12:30, Di 18.01. 16:45-18:15
• 250118 SE 4 ECTS [ en ] ( GEMISCHT ) Research seminar in model theory
  Aschenbrenner, Mi 15:00-16:30 (13×)
• 250124 SE 4 ECTS [ en ] ( GEMISCHT ) Logic Colloquium
  Aschenbrenner, Do 15:00-15:45 (12×), Do 13.01. 13:15-14:45

Topics courses logic

• 250042 PS 4 ECTS ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Gr. 1 [ en ] Schuch, Do 08:00-09:30 (14×)
  Gr. 2 [ en ] Garre Rubio, Mo 16:45-18:15 (14×)
• 250078 VO 6 ECTS [ en ] ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
  Schuch, Mi 13:15-14:45 (13×), Do 13:15-14:45 (14×)
• 250119 VO 5 ECTS [ en ] ( GEMISCHT ) Model theory
  Aschenbrenner, Fr 13:15-14:45 (16×), Mi 13:15-14:45 (13×)
• 250123 VO 5 ECTS [ en ] ( GEMISCHT ) Special Topics in Set Theory
  Switzer, Di 09:45-11:15 (12×), Do 09:45-11:15 (14×)