4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250085 VO Einführung in die Mathematische Logik
• 250086 PS Proseminar zu "Einführung in die Mathematische Logik"
• 250088 SE Seminar (Mathematische Logik)
• 250087 SE Forschungsseminar aus der Mathematischen Logik

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250090 VO [ en ] Mengenlehre (reading course)
• 250089 VO [ en ] Ausgewählte Kapitel aus der Mathematischen Logik