3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250077 VO 5 ECTS [ en ] Einführung in die Theoretische Informatik
  Müller
• 250078 VO 6 ECTS Einführung in die Mathematische Logik
  Zdomskyy
• 250079 PS 3 ECTS [ en ] Proseminar zu "Einführung in die Mathematische Logik"
  Müller
• 250080 SE 4 ECTS [ en ] Forschungsseminar aus der Mathematischen Logik
  Friedman
• 250081 SE 4 ECTS [ en ] Seminar (Mathematische Logik)
  Friedman

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250082 VO 4 ECTS [ en ] Ausgewählte Kapitel aus der Mathematischen Logik
  Friedman
• 250083 VO 4 ECTS [ en ] Modelltheorie der Arithmetik
  Kellner
• 250084 VO 7 ECTS Reading Course Mengenlehre
  Farkas
• 250101 VO 3 ECTS Künstliche Intelligenz
  Neumaier, Mo 14:15-15:45 (13×)