4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250132 VO Axiomatische Mengenlehre 1
• 250133 PS Proseminar zur Axiomatischen Mengenlehre 1
• 250134 PJ+SE Projektseminar aus der Mathematischen Logik

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

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