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.

Професионално направление: 
4.6. Информатика и компютърни науки
Степен: 
ОКС "магистър"
Специалност: 
Mathematics
Магистърска програма: 
Logic and Algorithms
Форма на обучение: 
Full-time
Продължителност на редовна форма на обучение (брой семестри): 
3
Професионална квалификация: 
MSC in Informatics - Logic and Algorithms
Език на преподаване: 
Български
Ръководител на магистърска програма: 
Prof. Alexandra Soskova , PhD

Насоченост, образователни цели

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.

Професионална реализация

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 For students admitted in 2017/20188.92 KB

За информация и контакти