4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250077 VO 5 ECTS [ en ] Introduction to theoretical computer science
  Müller
• 250078 VO 6 ECTS Introduction to mathematical logic
  Zdomskyy
• 250079 PS 3 ECTS [ en ] Introductory seminar: "Introduction to mathematical logic"
  Müller
• 250080 SE 4 ECTS [ en ] Research Seminar (Mathematical logic)
  Friedman
• 250081 SE 4 ECTS [ en ] Seminar (mathematical logic)
  Friedman

Advancede courses, specialization "Logic"

• 250082 VO 4 ECTS [ en ] Selected topics in mathematical logic
  Friedman
• 250083 VO 4 ECTS [ en ] Model theory of arithmetic
  Kellner
• 250084 VO 7 ECTS Reading Course Mengenlehre
  Farkas
• 250101 VO 3 ECTS Artificial Intelligence
  Neumaier, Mo 14:15-15:45 (13×)