3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250079 VO 6 ECTS Einführung in die Mathematische Logik
  Adler
• 250080 PS 3 ECTS Proseminar zu "Einführung in die Mathematische Logik"
  Kellner
• 250115 SE 4 ECTS [ en ] Forschungsseminar aus der Mathematischen Logik
  Friedman
• 250116 SE 4 ECTS [ en ] Seminar (Mathematische Logik)
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250117 VO 4 ECTS [ en ] Ausgewählte Kapitel aus der Mathematischen Logik
  Friedman
• 250118 VO 7 ECTS Mengenlehre (reading course)
  Kellner
• 250127 VO 3 ECTS [ en ] Forcing with random variables
  Kellner