4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250121 VO 6 ECTS Einführung in die Mathematische Logik
  Walczak-Typke
• 250122 PS 3 ECTS Proseminar zu Einführung in die Mathematische Logik
  Kellner
• 250123 VO 5 ECTS Einführung in die Theoretische Informatik
  Kellner, Mi 16:00-17:10 (16×), Di 17:00-18:05 (14×)
• 250124 SE 4 ECTS Seminar aus Mathematischen Logik
  Friedman
• 250126 SE 4 ECTS Forschungsseminar aus der Mathematischen Logik
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250125 VO 4 ECTS Ausgewählte Kapitel aus der Mathematischen Logik
  Friedman