3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250087 VO [ en ] Axiomatische Mengenlehre 1
• 250088 PS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
• 250089 PJ+SE [ en ] Projektseminar (Mathematische Logik)

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250090 VO [ en ] Ausgewählte Kapitel der Mathematischen Logik
• 250091 SE [ en ] Forschungsseminar aus der Mathematischen Logik
• 250092 VO [ en ] Modelltheorie