The main goal of the educational activity in the doctoral program is the creation of highly qualified scientists in the field of mathematical logic, who have knowledge and skills for solving complex problems of scientific and scientific-applied nature.
The teaching and research activities in the doctoral program contribute to obtaining new results in key areas of fundamental and applied knowledge in the field of mathematical logic such as:
- Theory of computability, the theory of degrees of insolvability, the effective theory of models,
- Modal logics,
- Algorithmic problems in computational linguistics.