Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250100 VO 5 ECTS [ en ] Axiomatic set theory 1
  Fischer, Di 08:45-10:15 (15×), Do 08:45-10:15 (13×)
• 250179 PS 3 ECTS [ en ] Introductory seminar on Axiomatic set theory 1
  Fischer, Fr 08:45-10:15 (14×)
• 250052 VO 5 ECTS [ en ] Introduction to Theoretical Computer Science
  Marikova, Mo 11:15-12:45 (15×), Mi 08:45-10:15 (16×)
• 250103 SE 4 ECTS [ en ] Seminar in Mathematical Logic
  Miller, Mo 16:45-17:30 (15×), Mi 16:45-17:30 (16×)
• 510005 SE 4 ECTS [ en ] Research Seminar in Mathematical Logic VSM
  Aschenbrenner, Do 15:00-16:30 (13×)

Topics courses logic

• 250053 VO 3 ECTS [ en ] Model Theory of Valued Fields
  Aschenbrenner, Di 10:30-11:15 (15×), Do 10:30-11:15 (13×)