3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250070 VO [ en ] Einführung in die Mathematische Logik
• 250071 PS [ en ] Proseminar zu "Einführung in die Mathematische Logik"
• 250074 VO [ en ] Einführung in die Theoretische Informatik
• 250075 SE [ en ] Seminar (Mathematische Logik)
• 250076 SE [ en ] Forschungsseminar aus der Mathematischen Logik

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250077 VO [ en ] Ausgewählte Kapitel aus der Mengenlehre
• 250078 VO [ en ] Reading Course Mengenlehre