3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250099 PJ+SE 4 ECTS [ en ] Projektseminar (Artificial Intelligence)
  Neumaier, Mi 13:15-14:45 (15×)
• 250125 VO 5 ECTS [ en ] Axiomatische Mengenlehre 1
  Zdomskyy
• 250126 PS 3 ECTS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
  Latif
• 250127 SE 4 ECTS Forschungsseminar aus der Mathematischen Logik
  Friedman
• 250128 PJ+SE 4 ECTS Seminar (Mathematische Logik)
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250130 VO 4 ECTS Ausgewählte Kapitel aus der Mengenlehre
  Friedman
• 250131 VO 3 ECTS Berechenbarkeit und Komplexität
  Müller