The entrance exam for the program covers the following subjects usually covered in the standard course of Discrete Mathematics: Basic notions in Set Theory, Finite Automata, Formal Languages and Grammars, Computable Sets, Undecidable Problems.
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.
The program provides a solid background in the field of Classical Mathematical Logic and Modal Logic. The students will have the opportunity to specialize in the different areas the SU Logic Group is currently working in – Computability Theory, Proof Theory, Programming Language Theory, Modal Logic, Applications of Finite Automata and Transducers.
The graduates of the program will have a solid background that allows them to proceed with their studies as PhD students and then have a successful career in academia as professors and researchers. They will also be well suited for the high-tech industry, especially for companies developing new technologies.