3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250102 VO Einführung in die Theoretische Informatik
• 250103 VO Einführung in die Mathematische Logik
• 250104 PS Proseminar zu "Einführung in die Mathematische Logik"
• 250105 SE Seminar (Mathematische Logik)

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250106 VO Ausgewählte Kapitel aus der Mathematischen Logik
• 250107 SE Forschungsseminar aus der Mathematischen Logik
• 250108 VO Mengenlehre (reading course) 2/7