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

The object of research, development or design (in Kazakh) : Әлсіз о-минималды теориялар, дерлік омега-категориялық реттелген теориялар, оқшалау бинарлық формулалар алгебралары, Р-комбинациялар мен Е-комбинациялар зерттеу объектiсi болып табылады.

Aim of work (in Russian) : Цель проекта – исследование теоретико-модельных свойств упорядоченных структур, а также их элементарных теорий, их описание и классификация.

Aim of work (in Kazakh) : Жобаның максаты – реттелген кұрылымдардың теориялы-модельдiк қасиеттерiн зерттеп, сонымен қатар олардың элементарлық теориясын бейнелеп классификациялау.

Методы исследования (на русском) : Методами исследований являются классические методы теории моделей, в частности, методы исследования упорядоченных структур, такие как описание моделей посредством анализа поведения определимых унарных функций, исследование моделей посредством классификации по введенному рангу выпуклости и другие.

Методы исследования (на казахском) : Модельдер теориясының классикалық әдiстері, соның iшiнде реттелген құрылымдарды зерттеу, сол сияқты, анықталған унарлы функциялардың жүріс-тұрысын талдаумен модельдерді сипаттау, берілген дөңестік рангімен классификациясы арқылы модельдерді зерттеу және тағы да басқа зерттеу әдiстері толып табылады.

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

Obtained results and novelty (in Kazakh) : Алынған барлық нәтижелер жаңа, іргелі және теоретикалық болып табылады және төмендегідей қорытынды жасауға болады: 1 Дөңестік рангісі шектеулі дерлік омега-категориялық әлсіз о-минималды теориялары үшін әлсіз ортогоналды 1-типтер кез келген жиындардың ортогоналдығы дәлелденді. 2 Дөңестік рангісі терминдер бойынша дерлік омега-категориялық әлсіз о-минималды теориялардың бинарлық критерийі алынды. Нәтижесінде дөңестік рангісі шектеулі дерлік омега-категориялық әлсіз о-минималды теориялардың бинарлығы анықталды.

The main constructive and technical economic indicators (in Russian) : За отчетный период опубликованы 32 работы, в том числе 10 журнальных статей: 3 – в научных изданиях, входящих в первые три квартиля Web of Science (Q1 – Mathematics, Q2 – Algebra and Logic и Q3 – Siberian Mathematical Journal); 6 – в научных изданиях, индексируемых Scopus (Lobachevskii Journal of Mathematics – 3, Siberian Electronic Mathematical Reports – 1, Siberian Advances in Mathematics – 1, Известия Иркутского государственного университета, серия математика – 1), 1 – в казахстанском журнале (Kazakh Mathematical Journal); 22 статьи и тезисы в сборниках материалов международных конференций.

The main constructive and technical economic indicators (in Kazakh) : Кесте бойынша барлық жоспарланған тапсырмалар уақытында және сапалы орындалды. Жүргізілген зерттеулер таза теориялық, іргелі сипатта болды. Есепті кезеңде 32 мақала жарық көрді, оның ішінде 10 журнал мақаласы: 3 - Web of Science алғашқы үш квартиліне кіретін ғылыми журналдарда (Q1 – Mathematics, Q2 – Algebra and Logic и Q3 – Siberian Mathematical Journal); 6 - Scopus индекстеген ғылыми журналдарда (Lobachevskii Journal of Mathematics – 3, Siberian Electronic Mathematical Reports – 1, Siberian Advances in Mathematics – 1, Известия Иркутского государственного университета, серия математика – 1), 1 - қазақ журналында ( Қазақ математикалық журналы); халықаралық конференциялар материалдарының жинақтарында 22 мақала мен тезистер.

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) : Алынған нәтижелерді математика ғылымының басқа салаларында сияқты модельдер теориясын одан әрі зерттеу үшін қолдануға болады. Зерттеу нәтижелері информатиканың реляциялық мәліметтер қорының жалпы теориясы, гибридтік жүйелер және ақпараттық жүйелерді зерттеудің формальды әдістері сияқты салаларында қолданылады.