Основна цел на образователната дейност в докторската програма е изграждането на висококвалифицирани учени в областта на математическата логика, които притежават знания и умения за решаване на комплексни проблеми от научно и научно-приложно естество.
Обучението и изследователската дейност в докторската програма способстват за получаването на нови резултати в ключови направления на фундаменталното и приложното знание в областта на математическата логика като:
- Теория на изчислимостта, теория на степените на неразрешимост, ефективна теория на моделите
- Модални логики
- Алгоритмични проблеми в компютърната лингвистика
Professional area:
4.5. Mathematics
Degree:
Educational and Scientific Degree “Doctor”
Programme code:
MI45M0401D / MI45M0402D / MI45M0403D
Form of education:
редовно / задочно / самостоятелна подготовка