4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250114 VO [ en ] Axiomatische Mengenlehre 1
• 250115 PS [ en ] Proseminar zur Axiomatischen Mengenlehre 1
• 250116 PJ+SE Projektseminar aus der Mathematischen Logik

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250117 VO Rekursionstheorie
• 250119 VO Modallogik
• 250118 VO Ausgewählte Kapitel aus der Mengenlehre
• 250120 SE Forschungsseminar