4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250126 VO Axiomatische Mengenlehre 1
• 250127 PS Proseminar zur Axiomatischen Mengenlehre 1
• 250131 SE Projektseminar aus der Mathematischen Logik
• 250132 SE Forschungsseminar aus der Mathematischen Logik

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250128 VO Rekursionstheorie
• 250129 VO Nichtklassische Logiken
• 250130 VO Ausgewählte Kapitel aus der Mengenlehre
• 250143 VO [ en ] Advanced set theory: Mutual stationarity