Master Computational Logic (from 2017)
This program will not be offered from winter term 2020/2021
Table of contents
Course Structure and Syllabus
The International MSc Program in Computational Logic is based on
- seven 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
| Lectures | Semester | |||
|---|---|---|---|---|
| 1 | 2 | 3 | 4 | |
| Basic Modules | ||||
| Foundations | 8 CP | |||
| Logic and Constraint Programming | 8 CP | |||
| Advanced Logics | 8 CP | |||
| Integrated Logic Systems | 8 CP | |||
| Communication Skills | 4 CP | |||
| Presentation Skills | 6 CP | |||
| Project | 12 CP | |||
| Selected Advanced Modules | 12 CP | 12 CP | 12 CP | |
| MSc Thesis | 30 CP | |||
| Sum of credit points | 30 | 30 | 30 | 30 |
| 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.
The European Network of Excellence in Computational Logic, CompulogNET, developed a curriculum for the International Master's Program in Computational Logic (MCL) with the ultimate goal that the best students can study with the best experts in the field.
Based on a sound background in mathematical logic, theoretical computer science and artificial intelligence, students learn the engineering aspects of logic-based artificial intelligence or computational logic. MCL is an accredited and internationally recognized Master's Program focusing on Computational Logic. Integrated study periods at partner universities in Italy, Austria and Portugal are offered with the objective to obtain a joint degree.
Program Objective
Considering that artificial intelligence will likely be the most important technology of the future, the program aims at teaching students profound theoretical and practical knowledge required for professional practice in the field of logic-based artificial intelligence while developing the ability to work according to scientific methods. Students are trained to analyze problems and to develop sustainable solutions. They master the design, development, operation and maintenance of knowledge-based systems, are familiar with formal methods and techniques, and are able to specify and implement complex systems.
Career Prospects
Thanks to their acquired broad technical knowledge, the graduates will be able to master in their professional life a large variety of complex tasks in the fields of computer science and artificial intelligence. Graduates are qualified for scientific research (PhD) as well as related professional fields. They will have the possibility to continue in basic research, conduct research in institutions of higher education or occupy a position in an industrial company.