Logic and Algorithms (in English)

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.

Professional area: 
4.5. Mathematics
Master of Science
MIM622114 Mathematics
Master's programme: 
Logic and Algorithms
Form of education: 
Duration of full-time training (in semesters): 
Professional qualification: 
MSC in Mathematics - Logic and Algorithms
Language of Instruction: 
Master's programme director: 
Assoc. Prof. Hristo Ganchev, PhD

Focus, educational goals

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.

Training (knowledge and skills)

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. 

Professional competence

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.

Professional realization

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.



PDF icon Logic and Algorithms878.72 KB

Contact information

Assoc. Prof. Hristo Ganchev, PhD

5, James Bourchier Blvd, FMI
phone: +359 2 8161 753
е-mail: ganchev@fmi.uni-sofia.bg