4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250118 VO 6 ECTS Einführung in die Mathematische Logik
  Adler
• 250119 PS 3 ECTS Proseminar zur Einführung in die Mathematische Logik
  Kellner
• 250122 SE 4 ECTS Seminar aus der Mathematischen Logik
  Friedman
• 250123 SE 4 ECTS Forschungsseminar aus der Mathematischen Logik
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250120 VO 3 ECTS [ en ] Axiomatische Mengenlehre 2
  Kellner, Do 11:00-12:30 (14×)
• 250121 VO 3 ECTS Anwendungen der Mathematischen Logik
  Goldstern, Do 09:00-11:00 (15×)