4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250272 VO Axiomatische Mengenlehre 1
• 250271 PS Proseminar zur Axiomatischen Mengenlehre 1
• 250275 SE Seminar aus der Mathematischen Logik
• 250276 SE Forschungsseminar aus der Mathematischen Logik

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250273 VO Modelltheorie
• 250274 VO Ausgewählte Kapitel aus der Mengenlehre