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.

Professional area: 
4.6. Informatics and Computer Science
Degree: 
Master of Science
Speciality: 
Mathematics
Master's programme: 
Logic and Algorithms
Form of education: 
Full-time
Duration of full-time training (in semesters): 
3
Professional qualification: 
MSC in Informatics - Logic and Algorithms
Language of Instruction: 
Bulgarian
Master's programme director: 
Prof. Alexandra Soskova , PhD

Focus, educational goals

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. 

Training (knowledge and skills)

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 competence

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.

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.

Curriculum

Contact information