Course Structure and Syllabus
The International MSc Program in Computational Logic is based on
- five compulsory basic modules (See the description of modules)
- three selected advanced modules (See the description of modules)
- a project and
- a research master thesis.
Courses are distributed over three semesters. They amount to a total of 90 ECTS credit points. In addition, 30 ECTS credit points are assigned to the master's thesis and its defense in the fourth semester. This results in a two-year program of 120 ECTS credit points.
For Students starting in October 2017 or later
|Logic and Contstraint Programming||8||-||-||-|
|Integrated Logic Systems||-||8||-||-|
|Presentation and Communication Skills||-||10||-||-|
|Selected Advanced Modules||12||12||12||-|
|Maximum number of credit points||120|
The student is going to focus on individual topics by selecting a set of advanced modules.
In the final master thesis, the candidate should demonstrate his capability to solve independently a problem in Computational Logic or its applications using scientific methods. The course must be completed by the Master's examination. The Master's examination consists of two parts: the written or oral module examinations and the MSc thesis together with its defense.