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. Получены необходимые и достаточные условия семантического и синтаксического подобия оболочек Кайзера замыкания йонсоновских подмножеств экзистенциально замкнутых подмоделей семантической модели фиксированной йонсоновской теории. 2. Получена характеризация некоторых малых моделей для фрагментов йонсоновского подмножества семантической модели фиксированной йонсоновской теории. При этом дан критерий того факта, что рассматриваемая решётка экзистенциальных формул удовлетворяет специальным условиям относительно рассматриваемой йонсоновской теории. 3. Получено описание малых моделей для фрагментов йонсоновских подмножеств гибридов оболочек Кайзера фиксированной йонсоновской теории. 6 марта 2024 года была защищена диссертация на тему «Йонсондық теориялардың гибридтерінің компаньондарының модельді-теоретикалық қасиеттері» (Теоретико-модельные свойства компаньонов гибридов йонсоновских теорий) на диссертационном совете Карагандинского университета имени академика Е.А. Букетова и на основании приказа Председателя Комитета по обеспечению качества в науке и высшем образовании Министерства науки и высшего образования Республики Казахстан от 06 июня 2024 года № 505 «О присуждении степени доктора философии ( PhD)» присвоена степень доктора философии (PhD) по специальности 6D060100-Математика.

Obtained results and novelty (in Kazakh) : 1. Бекітілген йонсондық теорияның семантикалық моделінің экзистенциалды тұйық ішкі моделдерінің йонсондық ішкі жиындарын тұйықталуының Кайзер қабықшаларының семантикалық және синтаксистік ұқсастығы үшін қажетті және жеткілікті шарттар алынды. 2. Бекітілген йонсондық теорияның семантикалық моделінің йонсондық ішкі жиынының фрагменттері үшін кейбір кішігірім модельдердің сипаттамасы алынды. Бұл ретте қарастырылып отырған экзистенциалдық формулалар торының қарастырылып отырған йонсондық теориясына қатысты арнайы шарттарды қанағаттандыратынының критерийі беріледі. 3. Бекітілген йонсондық теорияның Кайзер қабықшаларының гибридтерінің йонсондық ішкі жиындарының фрагменттері үшін кішігірім модельдерінің сипаттамасы алынды. 2024 жылдың 6-наурызында 6D060100-Математика мамандығы бойынша академик Е.А. Бөкетов атындағы Қарағанды университеті жанындағы диссертациялық кеңесінде «Йонсондық теориялардың гибридтерінің компаньондарының модельді-теоретикалық қасиеттері» тақырыбында диссертациялық жұмыс қорғалды және Қазақстан Республикасы Ғылым және жоғары білім министрлігі Ғылым және жоғары білім саласында сапаны қамтамасыз ету комитеті төрағасының 2024 жылғы 6 маусымындағы № 505 «Философия докторы (PhD) дәрежесін беру туралы» бұйрығы негізінде 6D060100-Математика мамандығы бойынша бойынша философия докторы (PhD) дәрежесі берілді.

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) : Модельдер теориясы