4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250083 VO Einführung in die Theoretische Informatik
• 250084 VO [ en ] Axiomatische Mengenlehre 1
• 250085 PS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
• 250086 PJ+SE Projektseminar (Mathematische Logik)

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250087 VO [ en ] Ausgewählte Kapitel aus der Mengenlehre
• 250089 VO [ en ] Modelltheorie
• 250088 PJ+SE Forschungsseminar