The object of research, development or design (in Russian) : В качестве объекта исследования выбираются структуры с порядком: подобные структуры являются часто используемыми моделями математических процессов. Например, упорядоченные структуры позволяют сравнивать объекты по их заданным свойствам; булевы алгебры являются моделями классического логического вывода.

The object of research, development or design (in Kazakh) : Зерттеу объектісі ретінде реттік кұрылымдар таңдалынады: бұндай құрылымдар математикалық процестердің моделдері ретінде көп кездеседі. Мысалы, реттелген құрылымдар объектілерді берілген қасиеті бойынша салыстыруға мүмкіндік береді; буль алгебралары классикалық логикалық шығарулардың математикалық моделі болып табылады.

Aim of work (in Russian) : Цель проекта – исследование проблемы того, насколько алгоритмически сложными могут быть представления алгебраических структур. Данную проблему планируется изучать посредством исследования различных алгоритмических сводимостей, используемых в современной теории вычислимости: вычислимой сводимости на структурах и вычислимых по Тьюрингу вложений на классах структур.

Aim of work (in Kazakh) : Жобаның мақсаты – алгебралық құрылымдардың кескіндері қаншалықты алгоритмдік күрделі бола алатындығын зерттеу болып табылады. Бұл мәселені есептелімділік теориясында қолданылатын әр түрлі алгоритмдік көшірулер арқылы зерттеуді жоспарлаймыз: құрылымдардағы есептелімді қөшірулер және құрылымдар кластарында есептелімді Тьюринг енгізу.

Методы исследования (на русском) : Основные методы исследований опираются на техники и подходы теории вычислимости, теории нумераций и теории вычислимых структур. Одним из важнейших методов теории вычислимости служит «метод приоритета», который позволяет строить математические объекты (множества, функции, алгебраические структуры) с заданными алгоритмическими свойствами.

Методы исследования (на казахском) : Негізгі зерттеу әдістері есептелімділік теориясының, нөмірлеу теориясының және есептелімді құрылымдар теориясының әдістері мен тәсілдеріне негізделеді. Есептелімділік теориясындағы маңызды әдістердің бірі – берілген алгоритмдік қасиеттері бар математикалық объектілерді (жиындар, функциялар, алгебралық құрылымдар) құруға мүмкіндік беретін «басымдық әдісі» болып табылады.

Obtained results and novelty (in Russian) : Построены примеры несравнимых пар позитивных линейных предпорядков, не имеющих ни супремумов ни инфимумов. Доказано, что класс DF является универсальным относительно вычислимых по Тьюрингу вложений. Полученные результаты являются новыми и будет опубликованы в научных журналах.

Obtained results and novelty (in Kazakh) : Супремум да инфимум да жоқ болатын позитив сызықты жартыреттер жұптарының мысалдары құрылды. DF класы есептелімді Тьюринг енгізуге қатысты универсал болатындығы дәлелденді. Алынған нәтижелер жаңа болып табылады және ғылыми журналдарда жарияланатын болады.

The main constructive and technical economic indicators (in Russian) : Исследования проекта являются фундаментальными. Основными показателями являются публикации научных статей и выступления с докладами на международных конференциях. Подготовлены драфты двух статей для публикации в рейтинговых журналах, и сделаны 2 доклада на международной конференции.

The main constructive and technical economic indicators (in Kazakh) : Жобаның зерттеуі іргелі болып табылады. Негізгі көрсеткіштері ғылыми мақалаларды жариялау және халықаралық конференцияларда баяндамалар жасау болып табылады. Рейтингті журналдарда жариялауға екі мақаланың драфттары дайындалды, және халықаралақ конференцияда 2 баяндама жасалынды.

Level of implementation (in Russian) : Внедрение не предусмотрено.

Level of implementation (in Kazakh) : Іске асыру қарастырылмаған.

Efficiency (in Russian) : Оценка эффективности не предусмотрено.

Efficiency (in Kazakh) : Тиімділікті бағалау қарастырылмаған.

Field of application (in Russian) : Теория конструктивных моделей, Теория вычислимых структур.

Field of application (in Kazakh) : Конструктивті моделдер теориясы, Есептелімді құрылымдар теориясы.