4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250132 VO 5 ECTS Axiomatische Mengenlehre 1
  Kellner
• 250133 PS 3 ECTS Proseminar zur Axiomatischen Mengenlehre 1
  Holy
• 250134 PJ+SE 4 ECTS Projektseminar aus der Mathematischen Logik
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250135 VO 3 ECTS Modelltheorie
  Adler
• 250137 VO 3 ECTS Ausgewählte Kapitel aus der Mengenlehre
  Friedman
• 250138 SE 4 ECTS Forschungsseminar
  Friedman
• 250143 VO 2 ECTS [ en ] Advanced Set Theory: Large Cardinals, Forcing, and Combinatorics
  Cummings