4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250083 VO 5 ECTS Einführung in die Theoretische Informatik
  Müller
• 250084 VO 5 ECTS [ en ] Axiomatische Mengenlehre 1
  Zdomskyy
• 250085 PS 3 ECTS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
  Hoffelner
• 250086 PJ+SE 4 ECTS Projektseminar (Mathematische Logik)
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250087 VO 3 ECTS [ en ] Ausgewählte Kapitel aus der Mengenlehre
  Friedman
• 250089 VO 3 ECTS [ en ] Modelltheorie
  Adler
• 250088 PJ+SE 4 ECTS Forschungsseminar
  Friedman