Universität Wien

4.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Standardausbildung im Studienschwerpunkt "Logik"
250434 VO 6 ECTS Einführung in die Mathematische Logik
Terwijn
250436 PS 3 ECTS Proseminar zur Einführung in die Mathematische Logik
Walczak-Typke
250443 SE 4 ECTS Projektseminar aus der Mathematischen Logik
Friedman
250444 SE 4 ECTS Forschungsseminar aus der Mathematischen Logik
Friedman
Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"
250363 VO 5 ECTS Kategorientheorie
Kriegl, Mo 13:15-14:45 (15×), Di 12:05-12:50 (14×)
250435 VO 3 ECTS Anwendungen in der Mathematischen Logik
Goldstern, Di 17:30-19:00 (14×)
250438 VO 3 ECTS Axiomatische Mengenlehre 2
Walczak-Typke
250441 VO 3 ECTS Modallogik
Telec
250442 VO 3 ECTS Ausgewählte Kapitel aus der Mathematischen Logik
Friedman

Letzte Änderung: Mi 13.06.2018 00:34