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. В рамках данного класса теорий доказаны ортогональность произвольного семейства попарно слабо ортогональных 1-типов и их бинарность. 2 Доказана ортогональность произвольного семейства попарно слабо ортогональных 1-типов для почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости. 3 Получен критерий бинарности почти омега-категоричных слабо о-минимальных теорий в терминах ранга выпуклости. В качестве следствия установлена бинарность почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости. 4 Описаны алгебры бинарных изолирующих формул для почти омега-категоричных слабо о-минимальных теорий. В качестве следствия получено описание таких алгебр для почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости. 5 Исследованы свойства Р-комбинаций и Е-комбинаций почти омега-категоричных слабо о-минимальных теорий.

Obtained results and novelty (in Kazakh) : Алынған барлық нәтижелер жаңа, іргелі және теоретикалық болып табылады және төмендегідей қорытынды жасауға болады: 1 Дөңестік рангісі 1 дерлік омега-категориялық әлсіз o-минималды теорияларының қасиеттері зерттелінді. Осы теориялар класының шеңберінде жұптық әлсіз ортогональды 1-типтердің кез келген жиындардың ортогоналдығы және олардың бинарлығы дәлелденді. 2 Дөңестік рангісі шектеулі дерлік омега-категориялық әлсіз о-минималды теориялары үшін әлсіз ортогоналды 1-типтер кез келген жиындардың ортогоналдығы дәлелденді. 3 Дөңестік рангісі терминдер бойынша дерлік омега-категориялық әлсіз о-минималды теориялардың бинарлық критерийі алынды. Нәтижесінде дөңестік рангісі шектеулі дерлік омега-категориялық әлсіз о-минималды теориялардың бинарлығы анықталды. 4 Дерлік омега-категориялық әлсіз o-минималды теориялар үшін бинралық оқшаулау формулаларының алгебралары сипатталған. Қорытынды ретінде, мұндай алгебралардың сипаттамасы дөңестік рангісі шектеулі дерлік омега-категориялық әлсіз o-минималды теориялары үшін алынған. 5 Дерлік омега-категориялық әлсіз o-минималды теориялардың P-комбинацияларының және E-комбинацияларының қасиеттері зерттеліңді.

The main constructive and technical economic indicators (in Russian) : Все запланированные задания согласно календарному плану выполнены в срок и качественно. Проведенные исследования носили чисто теоретический, фундаментальный характер. За истекший период опубликованы 71 работа, в том числе 23 журнальные статьи: 10 – в научных изданиях, входящих в первые три квартиля Web of Science или имеющих процентиль не менее 50 по базе Scopus (Mathematics [Q1] – 1, Algebra and Logic [Q2] – 4, Siberian Mathematical Journal [Q3] – 2, Lobachevskii Journal of Mathematics [percentile 55] – 3); 6 – в научных изданиях Web of Science, не входящих в первые три квартиля или индексируемых Scopus (Mathematical Notes [Q4] – 1, Siberian Electronic Mathematical Reports – 1, Eurasian Mathematical Journal – 1, Siberian Advances in Mathematics – 1, Известия Иркутского государственного университета, серия математика – 2), 7 – в казахстанских журналах (Kazakh Mathematical Journal – 1, Вестник КБТУ – 6); 48 статей и тезисов в сборниках материалов международных конференций.

The main constructive and technical economic indicators (in Kazakh) : Күнтізбелік жоспар бойынша барлық жоспарланған тапсырмалар мерзімінде және сапалы орындалды. Жүргізілген зерттеулер таза теориялық, іргелі сипатта болды. Өткен кезеңде 71 мақала жарияланды, оның ішінде 23 журнал мақаласы: 10-ы Web of Science-тің алғашқы үш квартиліне енгізілген немесе Scopus деректер базасында кемінде 50 пайыздық үлесі бар ғылыми жарияланымдарда (Математика [Q1] - 1, Алгебра және логика [Q2 ] - 4, Siberian Mathematical Journal [Q3] - 2, Lobachevskii Journal of Mathematics [55 пайыздық] - 3); 6 – Web of Science ғылыми жарияланымдарында, алғашқы үш квартилге кірмеген немесе Scopus индексі бойынша (Mathematical Notes [Q4] – 1, Siberian Electronic Mathematical Reports – 1, Eurasian Mathematical Journal – 1, Siberian Advances in Mathematics – 1, Известия Иркутского государственного университета, серия математика – 2), 7 – қазақстандық журналдарда (Kazakh Mathematical Journal – 1, KBTU Хабаршысы – 6); Халықаралық конференциялар материалдарының жинақтарында 48 мақала мен тезистер.

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