Universität Wien

Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic
250095 VO 6 ECTS [en] (VOR-ORT) Introduction to mathematical logic
Marikova, Di 13:15-14:45 (12×), Do 13:15-14:45 (14×)
250098 PS 3 ECTS [en] (GEMISCHT) Introductory seminar on mathematical logic
Gehret, Mi 09:45-11:15 (13×)
250099 SE 4 ECTS [en] (GEMISCHT) Research seminar in set theory
Fischer, Di 15:00-16:30 (12×), Di 18:30-20:00 (2×), Fr 07.01. 11:00-12:30, Di 18.01. 16:45-18:15
250118 SE 4 ECTS [en] (GEMISCHT) Research seminar in model theory
Aschenbrenner, Mi 15:00-16:30 (13×)
250124 SE 4 ECTS [en] (GEMISCHT) Logic Colloquium
Aschenbrenner, Do 15:00-15:45 (12×), Do 13.01. 13:15-14:45
Topics courses logic
250042 PS 4 ECTS (VOR-ORT) Quantum Information, Quantum Computing, and Quantum Algorithms
1 [en] Schuch, Do 08:00-09:30 (14×)
2 [en] Garre Rubio, Mo 16:45-18:15 (14×)
250078 VO 6 ECTS [en] (VOR-ORT) Quantum Information, Quantum Computing, and Quantum Algorithms
Schuch, Mi 13:15-14:45 (13×), Do 13:15-14:45 (14×)
250119 VO 5 ECTS [en] (GEMISCHT) Model theory
Aschenbrenner, Fr 13:15-14:45 (16×), Mi 13:15-14:45 (13×)
250123 VO 5 ECTS [en] (GEMISCHT) Special Topics in Set Theory
Switzer, Di 09:45-11:15 (12×), Do 09:45-11:15 (14×)

Letzte Änderung: Fr 14.01.2022 01:03