3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250099 PJ+SE [ en ] Projektseminar (Artificial Intelligence)
• 250125 VO [ en ] Axiomatische Mengenlehre 1
• 250126 PS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
• 250127 SE Forschungsseminar aus der Mathematischen Logik
• 250128 PJ+SE Seminar (Mathematische Logik)

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250130 VO Ausgewählte Kapitel aus der Mengenlehre
• 250131 VO Berechenbarkeit und Komplexität