4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250434 VO 6 ECTS Einführung in die Mathematische Logik
  Terwijn
• 250436 PS 3 ECTS Proseminar zur Einführung in die Mathematische Logik
  Walczak-Typke
• 250443 SE 4 ECTS Projektseminar aus der Mathematischen Logik
  Friedman
• 250444 SE 4 ECTS Forschungsseminar aus der Mathematischen Logik
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250363 VO 5 ECTS Kategorientheorie
  Kriegl, Mo 13:15-14:45 (15×), Di 12:05-12:50 (14×)
• 250435 VO 3 ECTS Anwendungen in der Mathematischen Logik
  Goldstern, Di 17:30-19:00 (14×)
• 250438 VO 3 ECTS Axiomatische Mengenlehre 2
  Walczak-Typke
• 250441 VO 3 ECTS Modallogik
  Telec
• 250442 VO 3 ECTS Ausgewählte Kapitel aus der Mathematischen Logik
  Friedman