3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250075 VO 5 ECTS [ en ] Axiomatische Mengenlehre 1
  Kellner
• 250076 PS 3 ECTS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
  Hoffelner
• 250077 VO 5 ECTS Einführung in die Theoretische Informatik
  Müller
• 250118 SE 4 ECTS Forschungsseminar aus der Mathematischen Logik
  Friedman
• 250119 PJ+SE 4 ECTS Projektseminar (Mathematische Logik)
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250120 VO 4 ECTS Ausgewählte Kapitel aus der Mengenlehre
  Friedman
• 250121 VO 3 ECTS Rekursionstheorie
  Adler
• 250132 VO 3 ECTS Ausgewählte Kapitel der Logik: Anwendungen der mathematischen Logik
  Goldstern