4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250272 VO 5 ECTS Axiomatische Mengenlehre 1
  Walczak-Typke
• 250271 PS 3 ECTS Proseminar zur Axiomatischen Mengenlehre 1
  Schrittesser
• 250275 SE 4 ECTS Seminar aus der Mathematischen Logik
  Friedman
• 250276 SE 4 ECTS Forschungsseminar aus der Mathematischen Logik
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250273 VO 3 ECTS Modelltheorie
  Walczak-Typke
• 250274 VO 3 ECTS Ausgewählte Kapitel aus der Mengenlehre
  Friedman