4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250118 VO Einführung in die Mathematische Logik
• 250119 PS Proseminar zur Einführung in die Mathematische Logik
• 250122 SE Seminar aus der Mathematischen Logik
• 250123 SE Forschungsseminar aus der Mathematischen Logik

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250120 VO [ en ] Axiomatische Mengenlehre 2
• 250121 VO Anwendungen der Mathematischen Logik