Logic and Algorithms

The Logic and Algorithms MSc program is aimed at graduates of Bachelor’s programmes in Mathematics and Computer Science. It offers a specialisation in the field of Mathematical Logic. During the curriculum, the students will have the opportunity to learn about the current trends in Mathematical Logic. The program provides a solid theoretical background indispensable for solving non-trivial algorithmic problems in the field of Mathematics as well as in the field of Computer Science. The curriculum of the program is divided in compulsory and elective courses. The compulsory courses give the basic knowledge in the field of Classical and Non-classical logic as well as in Computability and Set Theory. The elective courses focus on the study of special formal systems and abstract structures, providing a deeper knowledge in specific areas of the vast field of Mathematical Logic.