Results in these cagtegories
Select sub-categories to narrow down results.

Master programme Computational Logic (DDP) (E)

Contents and focus of the degree programme:

This programme emphasises the relationship between theoretical computer sciences and logics. It aims at imparting sound theoretical and practical knowledge in the discipline of computational logic. The degree programme focuses on mathematical logic, logic programming, deduction systems, artificial intelligence, methods of formal specification and verification, knowledge representation and inference techniques. A degree in this programme attests that the graduate possesses the necessary skills to solve problems in the field of computational logic or its applications autonomously and according to scientific methods. Due to the international orientation graduates can work at scientifically and economically oriented organisations all over the world. The medium of instruction is English.

Higher education institution:
Technische Universität Wien
Group of fields of study:
Engineering Sciences
Degree programme:
Computational Logic (DDP) (E)
Master programme
Academic degree:
Master of Science, MSc
4 Semester / 120 ECTS*

Contact & Information materials:

Further information:

Languages of instruction:
Student Union fee: EUR 19,70
tuition fee - ask at your institution Detailed information
Stay abroad:
Type of higher education institution:
published in the:

Additional information

Double Degree Program: „International MSc in Computational Logic“ or „European Masters Program in Computational Logic“

Definition of the field of studies

In the degree programme in Computational Logic learning methods are developed and examined to convey the ability to draw logical conclusions, apply them to software agents (programmes) and thus to give them artificial intelligence. Our EMCL Partners •Dresden University of Technology •Universidade Nova de Lisboa •Libera Universitá di Bolzano •Vienna University of Technology


Students have to take the most important examinations in the modules of “introduction to computational logic“, “advanced logic“, “foundations of logic and constraint programming“ and “deduction systems“. Students have to spend at least one semester at one of the partner universities. This international master’s programme is available at the Universities of Technology of Dresden, Lisbon, Bolzano, Madrid and Vienna. The master’s degree is awarded after students have written a master’s thesis (an individual one or one written as a group work) and presented and defended it before an examination panel.

Entrance examinations

To apply for this programme students have to provide proof of a prior qualifying education and adequate knowledge of English.

Supplementary examinations