Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250100 VO 5 ECTS [ en ] Axiomatic set theory 1
  Fischer, Fr 01.03. 12:15-14:30, Fr 11:30-14:30 (12×)
• 250102 SE 4 ECTS [ en ] Research seminar in mathematical logic
  Miller, Do 16:00-18:00 (12×)
• 250103 SE 4 ECTS [ en ] Seminar (Mathematical logic)
  Miller, Mo 14:00-15:00 (14×), Do 14:00-15:00 (13×)
• 250168 VO 6 ECTS [ en ] Introduction to mathematical logic
  Müller, Fr 09:30-11:00 (15×), Do 12:15-13:45 (12×)
• 250170 PS 3 ECTS [ en ] Introductory seminar on mathematical logic
  Eskew, Di 16:00-17:30 (13×)
• 250179 PS 3 ECTS [ en ] Introductory seminar on Axiomatic set theory 1
  Fischer, Do 09:45-11:45 (9×), Do 02.05. 09:45-11:15

Topics courses logic

• 250104 VO 4 ECTS [ en ] Advanced topics in mathematical logic
  Soukup, Di 13:00-14:00 (10×), Mi 13:00-14:00 (10×), Di 13:15-14:00 (3×), Mi 13:15-14:00 (4×)