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

Basic courses, specialization "Logic"

• 250097 VO 6 ECTS [ en ] Introduction to Mathematical logic
  Panagiotopoulos, Tu 08:00-09:30 (16×), Th 08:00-09:30 (14×)
• 250099 SE 4 ECTS [ en ] Research seminar in set theory
  Fischer, Th 11:30-13:00 (15×)
• 250124 SE 4 ECTS [ en ] Logic Colloquium
  Aschenbrenner, Th 15:00-16:30 (15×)
• 250135 PS 3 ECTS [ en ] Introduction to Mathematical Logic
  Padgett, We 09:45-11:15 (15×)
• 250136 VO 5 ECTS [ en ] Axiomatic set theory 1
  Fischer, Tu 09:45-11:15 (14×), Th 09:45-11:15 (14×)
• 250137 PS 3 ECTS [ en ] Axiomatic set theory 1
  Millhouse, Tu 11:30-13:00 (16×)
• 510004 SE 4 ECTS [ en ] Research seminar in Model Theory
  Aschenbrenner, We 11:30-13:00 (13×)

Advanced courses, specialization "Logic"

• 250042 PS 4 ECTS Quantum Information, Quantum Computing, and Quantum Algorithms
  Gr. 1 [ en ] Molnár, We 15:00-16:30 (15×)
  Gr. 2 [ en ] Klingler, Tu 16:45-18:15 (16×)
• 250078 VO 6 ECTS [ en ] Quantum Information, Quantum Computing, and Quantum Algorithms
  Schuch, Th 16:45-18:15 (15×), Mo 16:45-18:15 (14×)
• 250138 VO 6 ECTS [ en ] Model Theory
  Aschenbrenner, Th 13:15-14:45 (13×), Tu 13:15-14:45 (14×)