Mathematical Logic and Applications

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: 

  1. Theory of computability, the theory of degrees of insolvability, the effective theory of models,
  2. Modal logics,
  3. Algorithmic problems in computational linguistics.
Professional area: 
4.5. Mathematics
Degree: 
Educational and Scientific Degree “Doctor”
Programme code: 
MI45M0401D / MI45M0402D / MI45M0403D
Form of education: 
full-time / part-time / self-study