Standardausbildung im Studienschwerpunkt "Logik"

• 250070 VO 6 ECTS [ en ] Einführung in die Mathematische Logik
  Fischer, Fr 09:00-10:30 (16×), Mo 08:00-09:30 (12×)
• 250071 PS 3 ECTS [ en ] Proseminar zu "Einführung in die Mathematische Logik"
  Müller, Fr 11:05-12:35 (15×)
• 250074 VO 5 ECTS [ en ] Einführung in die Theoretische Informatik
  Müller, Di 15:30-18:00 (13×)
• 250075 SE 4 ECTS [ en ] Seminar (Mathematische Logik)
  Friedman, Mo 14:00-15:00 (12×), Mi 14:00-15:00 (14×)
• 250076 SE 4 ECTS [ en ] Forschungsseminar aus der Mathematischen Logik
  Friedman, Do 16:00-18:00 (16×)