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) : Исследованы линейно упорядоченные теории с максимальным числом счётных моделей. Дано описание классов упорядоченных теорий с максимальным счётным спектром. Для класса малых линейно упорядоченных теорий получены условия максимальности числа счётных моделей за счёт реализаций и опусканий 1-типов. Оформлена диссертация PhD руководителя проекта, окончившего полный курс программы докторантуры. Диссертация соотвествует общим требованиям к структуре, объему и правилам оформления диссертационных работ, которая основана на межгосударственных стандартах ГОСТ 7.32-2001.

Obtained results and novelty (in Kazakh) : Саналымды модельдердің максималды саны бар сызықты реттелген теориялар зерттелді. Максимал саналымды спектрі бар реттелген теориялардың кластарының сипаттамасы берілді. Кіші сызықты реттелген теориялардың класы үшін 1-типтердің жүзеге асырылуы мен түсіруіне байланысты саналымды модельдердің максималды санының шарттары алынды. Докторантура бағдарламасының толық курсын бітірген жоба жетекшісі PhD диссертациясы рәсімделді. Диссертация МЕМСТ 7.32-2001 мемлекетаралық стандарттарына негізделген диссертациялық жұмыстардың құрылымына, көлеміне және рәсімдеу ережелеріне қойылатын жалпы талаптарға сәйкес келеді.

The main constructive and technical economic indicators (in Russian) : Нет, так как исследование является фундаментальным

The main constructive and technical economic indicators (in Kazakh) : Жоқ, себебі, зерттеу іргелі болып табылады

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) : Жоба тақырыбы бойынша зерттеулер теориялық және іргелі болып табылады