3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250079 VO Einführung in die Mathematische Logik
• 250080 PS Proseminar zu "Einführung in die Mathematische Logik"
• 250115 SE [ en ] Forschungsseminar aus der Mathematischen Logik
• 250116 SE [ en ] Seminar (Mathematische Logik)

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250117 VO [ en ] Ausgewählte Kapitel aus der Mathematischen Logik
• 250118 VO Mengenlehre (reading course)
• 250127 VO [ en ] Forcing with random variables