3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250087 VO 5 ECTS [ en ] Axiomatische Mengenlehre 1
  Fischer, Mo 08:30-11:00 (14×)
• 250088 PS 3 ECTS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
  Koelbing, Fr 09:00-10:30 (14×)
• 250089 PJ+SE 4 ECTS [ en ] Projektseminar (Mathematische Logik)
  Friedman, Mi 14:00-15:00 (16×), Mo 14:00-15:00 (14×)

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250090 VO 3 ECTS [ en ] Ausgewählte Kapitel der Mathematischen Logik
  Friedman, Di 14:00-15:00 (15×), Do 14:00-15:00 (14×)
• 250091 SE 4 ECTS [ en ] Forschungsseminar aus der Mathematischen Logik
  Friedman, Do 16:00-18:00 (14×)
• 250092 VO 3 ECTS [ en ] Modelltheorie
  Müller, Di 17:30-19:00 (15×)