4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250123 VO Einführung in die Mathematische Logik
• 250124 PS Proseminar zur Einführung in die Mathematische Logik
• 250127 SE Seminar aus der Mathematischen Logik
• 250128 SE Forschungsseminar

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250125 VO Axiomatische Mengenlehre 2
• 250126 VO Ausgewählte Kapitel aus der Mathematischen Logik