Choose at least 2 modules. Elective courses can only be used as part of chosen modules. To choose a module, complete it with at least 9 ECTS. Projects (courses of type PR) do not count towards this threshold.
Choose at least 48 ECTS.
A list of possible elective modules can be found in TISS, which often is the most up-to-date source.
Transferable Skills
Choose at least 4.5 ECTS.
Choose from central catalogue of TU Vienna for Transferable Skills.
Freely Elective Courses
Choose as many as required to complete 120 ECTS in total. (max. 4.5 ECTS)
ECTS completed
Version 3. October 2024
Mandatory Modules
roughly in semester-order
Module Algorithmics
Module Discrete Mathematics
complete all
Module Formal Methods in Computer Science
complete all
Module Knowledge-based Systems
Module Diplomarbeit
complete all
Semester Schedule
6 VU Algorithmics
4 VO Discrete Mathematics
5 UE Discrete Mathematics
6 VU Formal Methods in Computer Science
6 VU Knowledge-based Systems
27 LU Master thesis
1.5 SE Seminar for Master Students in Logic and Computation