3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"

• 250077 VO [ en ] Einführung in die Theoretische Informatik
• 250078 VO Einführung in die Mathematische Logik
• 250079 PS [ en ] Proseminar zu "Einführung in die Mathematische Logik"
• 250080 SE [ en ] Forschungsseminar aus der Mathematischen Logik
• 250081 SE [ en ] Seminar (Mathematische Logik)

Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250082 VO [ en ] Ausgewählte Kapitel aus der Mathematischen Logik
• 250083 VO [ en ] Modelltheorie der Arithmetik
• 250084 VO Reading Course Mengenlehre
• 250101 VO Künstliche Intelligenz