Inventory number IRN Number of state registration
0223РК00286 AP09260237-OT-23 0121РК00126
Document type Terms of distribution Availability of implementation
Заключительный Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 22
International publications: 11 Publications Web of science: 0 Publications Scopus: 8
Number of books Appendicies Sources
1 3 79
Total number of pages Patents Illustrations
175 0 1
Amount of funding Code of the program Table
15865325.81 AP09260237 0
Name of work
Классы косемантичности и их классы моделей
Report title
Type of work Source of funding The product offerred for implementation
Fundamental Другая (укажите)
Report authors
Ешкеев Айбат Рафхатович , Касыметова Майра Техниковна , Ульбрихт Ольга Ивановна , Шаматаева Назгуль Куанышовна , Попова Надежда Викторовна , Исаева Айгуль Койшибаевна , Омарова Махабат Толеуовна , Мусина Назерке Мухтарамкызы , Яруллина Алина Рашидовна , Тунгушбаева Индира Оразбековна ,
0
0
2
0
Customer МНВО РК
Information on the executing organization
Short name of the ministry (establishment) МНВО РК
Full name of the service recipient
Некоммерческое акционерное общество "Карагандинский университет имени академика Е. А. Букетова"
Abbreviated name of the service recipient НАО "Карагандинский университет имени академика Е. А. Букетова"
Abstract

Гибриды классов косемантичности фиксированного йонсоновского спектра.

Бекітілген йонсондық спектрдің косематикалық кластарының гибридтері.

Получить описание теоретико-модельных свойств фрагментов фиксированных определимых подмножеств семантических моделей классов косемантичности.

Косематикалық класстардың семантикалық модельдерінің бекітілген анықталған ішкі жиындарының фрагменттерінің модельді-теоретикалық қасиеттерінің сипаттамасын алу.

Метод синтаксического и семантического подобия для замыканий и их оболочек Кайзера фиксированных определимых подмножеств семантической модели.

Семантикалық модельдің бекітілген анықталған ішкі жиындарының тұйықталуы мен олардың Кайзер қабықшасы үшін синтаксистік және семантикалық ұқсастық әдісі.

Получен критерий сильной минимальности в рамках изучения центральных типов центральных классов и фрагментов фиксированного JSp(K). Получена характеризация свойств синтаксического и семантического подобия гибридов фрагментов теоретических множеств из фиксированного JSp(K). Получено описание сильно минимальных геометрий гибридов фрагментов и центральных классов фиксированного наследственного JSp(K). Все результаты являются новыми.

Қатты минималдылық критерийі бекітілген JSp(K) централдық кластары мен фрагменттерінің централдық типтерін зерттеу аясында алынды. Бекітілген JSp(K)-тен теоретикалық жиынның фрагменттерінің гибридінің синтаксистік және семантикалық ұқсастық қасиеттерінің сипаттамасы алынды. Бекітілген мұралы JSp(K) фрагменттері мен централдық кластарының гибридтерінің қатты минималды геометрияларының сипаттамасы алынды. Барлық нәтижелер жаңа.

Решение поставленных задач. Получены необходимые, достаточные и в некоторых случаях необходимые и достаточные условия описания свойств моделей и теорий фиксированных йонсоновских спектров.

Берілген тапсырмаларды шешу. Бекітілген йонсондық спектрлердің модельдері мен теорияларының қасиеттерін сипаттау үшін қажетті, жеткілікті және кейбір жағдайларда қажетті және жеткілікті шарттар алынды.

Все полученные результаты используются в получении доказательств научных разработок, касающихся тематики изучения теорий и моделей, удовлетворяющих условиям Йонсона, а также в смежных дисциплинах, имеющих приложение к алгебраических объектам.

Барлық алынған нәтижелер йонсон шарттарын қанағаттандыратын теориялар мен модельдерді зерттеумен байланысты ғылыми әзірлемелердің дәлелдемелерін алуда, сондай-ақ алгебралық объектілерге қосымшалары бар сабақтас пәндерде қолданылады.

Степень эффективности полученных результатов можно оценить тремя параметрами: 1) решение старых проблем; 2) нахождение решений текущих задач; 3) формирование будущей тематики. По всем трём пунктам при получении новых запланированных научных результатов, мы можем отметить, что классические и новые методы, использованные в данном проекте для устоявшихся и новых понятий по тематике проекта, были использованы эффективно. Также мы можем отметить, что новые методы и понятия, использованные в данном проекте, были впервые определены и внедрены участниками данного проекта.

Алынған нәтижелердің тиімділік дәрежесін үш параметр бойынша бағалауға болады: 1) ескі мәселелерді шешу; 2) өзекті мәселелердің шешімін табу; 3) болашақ тақырыптарды қалыптастыру. Барлық үш тармақ бойынша жаңа жоспарланған ғылыми нәтижелерді алу кезінде жоба тақырыбы бойынша қалыптасқан және жаңа тұжырымдамалар үшін осы жобада қолданылған классикалық және жаңа әдістер тиімді пайдаланылғанын атап өтуге болады.Сондай-ақ, бұл жобада қолданылатын жаңа әдістер мен тұжырымдамаларды алғаш рет осы жобаға қатысушылар анықтап, енгізгенін айта аламыз.

Областью применения результатов, полученных в данном проекте, является теория моделей, а также смежные разделы универсальной алгебры. Одним из возможных применений научных результатов по научной тематике данного проекта может быть их использование в информационных технологиях, полученных при построении формализации онтологий предметных областей с помощью языка первого порядка.

Бұл жобада алынған нәтижелерді қолдану саласы модельдер теориясы, сонымен қатар әмбебап алгебраның сабақтас бөлімдері болып табылады.Осы жобаның ғылыми тақырыбы бойынша ғылыми нәтижелердің ықтимал қолдануларының бірі оларды бірінші ретті тілді пайдалана отырып, домендік онтологиялардың формализациясын құру арқылы алынған ақпараттық технологияларда пайдалану болуы мүмкін.

UDC indices
510.67
International classifier codes
27.03.66;
Readiness of the development for implementation
Key words in Russian
йонсоновская теория; семантическая модель; экзистенциально замкнутая модель; косемантичность; йонсоновский спектр класса моделей; центральный тип; сильно минимальный тип; йонсоновское множество; малые модели; гибриды фрагментов;
Key words in Kazakh
йонсондық теория; семантикалық модель; семантикалық модель; косеманттылық; модельдер класының йонсондық спектрі; централдық тип; қатты минималды тип; йонсондық жиын; кішігірім моделдер; фрагментердің гибридтері;
Head of the organization Дулатбеков Нурлан Орынбасарович Доктор юридических наук / профессор, Член-корреспондент НАН РК
Head of work Ешкеев Айбат Рафхатович Доктор физико-математических наук / Доцент
Native executive in charge