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

Obtained results and novelty (in Kazakh) : Алынған барлық нәтижелер жаңа, іргелі және теоретикалық болып табылады және төмендегідей қорытынды жасауға болады: 1 Дерлік омега-категориялық әбден о-минималды теориялардың қасиеттері зерттелінді. 2 Дерлік омега-категориялық әбден о-минималды теориялары үшін әлсіз ортогоналды 1-типтер кез келген жиындардың ортогоналдығы дәлелденді. 3 Дерлік омега-категориялық әбден о-минималды теориялардың бинарлығы дәделденді. 4 Эренфойхттылы әбден о-минималды теориялары үшін есептік модельдер таратуы сипатталған. 5 Генериялық кластардың торлары мен толық теория кластары үшін жабу операторларының қасиеттері зерттелген. 6 Модельдік гиперграфтардың торлы қасиеттері зерттелген. 7 Кез келген генериялық класс үшін генериялық шектеулердің болуы сипатталанды. 8 Реттелген және генериялық құрылымдар үшін оқшаулау бинарлық формулалардың алгебралары зерттелген 9 Теория модельдерінің гиперграфтарын ыдырату сұрақтары зерттелген. 10 Модельдердің гиперграфтардың салыстырмалы түрде бөлінуі сипатталанды.

The main constructive and technical economic indicators (in Russian) : Все запланированные задания согласно календарному плану выполнены в срок и качественно. Проведенные исследования носили чисто теоретический, фундаментальный характер. Уровень проведенных исследований соответствует международным стандартам, о чем свидетельствует уровень журналов, в которых опубликованы результаты: опубликованы 77 работ, в том числе 27 работ в научных журналах (22 – в зарубежных, 5 – в казахстанских): из них 5 – в научных изданиях, индексируемых Web of Science и входящих в первые три квартиля Q1, Q2 и Q3; 13 – в научных изданиях, индексируемых Scopus, 5 – индексируемые РИНЦ; одна монография в двух частях и ее перевод на английский язык; 45 тезисов международных конференций.

The main constructive and technical economic indicators (in Kazakh) : Кесте бойынша барлық жоспарланған тапсырмалар уақытында және сапалы орындалды. Жүргізілген зерттеулер таза теориялық, іргелі сипатта болды. Жүргізілген зерттеу деңгейі халықаралық стандарттарға сәйкес келеді, бұған нәтижелері жарияланған журналдардың деңгейі дәлел: 77 мақала, оның ішінде 27 мақала ғылыми журналдарда (22 шетелдік, 5 қазақстандық): олардың 5-і Web of Science индекстелген және Q1, Q2 және Q3 алғашқы үш квартиліне енген ғылыми басылымдарда; 13 - Scopus индекстелген ғылыми басылымдарда, 5 - РИНЦ индекстелген; екі бөліктен тұратын бір монография және оның ағылшын тіліне аудармасы; халықаралық конференциялардың 45 тезисі.

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