MSc Logic and Computation in a nutshell

Graduation Conditions

Mandatory Modules

Elective Modules

Transferable Skills

Freely Elective Courses

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
1.5 Kommissionelle Abschlussprüfung

Official Documents (DE only)

compiled from the University Gazettes, logic.at and the logic.at archive 2011