3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250081 UE Übungen zu "Grundbegriffe der mathematischen Logik"
• 250082 VO [ en ] Axiomatische Mengenlehre 1
• 250083 PS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
• 250085 PJ+SE Projekseminar (Mathematische Logik)
• 250084 SE Forschungsseminar aus der Mathematischen Logik

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250086 VO Ausgewählte Kapitel aus der Mengelehre
• 250087 VO Berechenbarkeit und Komplexität
• 250088 VO Modelltheorie