Universität Wien

4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"
250126 VO 5 ECTS Axiomatische Mengenlehre 1
Walczak-Typke
250127 PS 3 ECTS Proseminar zur Axiomatischen Mengenlehre 1
Holy
250131 SE 4 ECTS Projektseminar aus der Mathematischen Logik
Friedman
250132 SE 4 ECTS Forschungsseminar aus der Mathematischen Logik
Friedman
Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"
250128 VO 3 ECTS Rekursionstheorie
Kellner
250129 VO 3 ECTS Nichtklassische Logiken
Telec
250130 VO 3 ECTS Ausgewählte Kapitel aus der Mengenlehre
Friedman
250143 VO 3 ECTS [en] Advanced set theory: Mutual stationarity
Welch

Letzte Änderung: Mi 13.06.2018 00:35