Inventory number | IRN | Number of state registration | ||
---|---|---|---|---|
0324РК01347 | AP22686827-KC-24 | 0124РК00019 | ||
Document type | Terms of distribution | Availability of implementation | ||
Краткие сведения | Gratis | Number of implementation: 0 Not implemented |
||
Publications | ||||
Native publications: 0 | ||||
International publications: 0 | Publications Web of science: 0 | Publications Scopus: 0 | ||
Patents | Amount of funding | Code of the program | ||
0 | 9467832 | AP22686827 | ||
Name of work | ||||
Центральные типы наследственных йонсоновских теорий | ||||
Type of work | Source of funding | Report authors | ||
Fundamental | Жумабекова Галия Еркиновна | |||
0
0
0
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 | ||||
Синтаксическим объектом исследования будет понятие наследственности йонсоновской теории. Синтаксистік нысаны йонсондық теориялардың мұрагерлігі болып табылады. Основной целью нашего проекта является исследование понятие наследственности при допустимых обогащениях йонсоновских теорий и йонсоновских спектров на языке центральных типов. Жобамыздың маңызды мақсаты йонсондық теориялар мен йонсондық спектрлердің рұқсаттылығы бар байытуында мұрагерлік ұғымын централды типтер тілінде зерттеу. Семантический метод: Суть этого метода заключается в транслировании свойств первого порядка элементов семантической модели центра на саму йонсоновскую теорию. Так же для существования некоторых моделей может быть использован традиционный метод форсинга. В случае совершенной йонсоновской теории он совпадает с семантическим методом. Метод центральных типов: Суть метода использования центральных типов заключается в обогащении языка рассматриваемой йонсоновской теории константами и предикатами. Полученный центральный тип является центром наследственной йонсоновской теории в допустимом обогащении. Семантикалық әдіс: Бұл әдістің жұмыс істеу принципін ашып жазатын болсақ, центрдің семантикалық моделінің элементтерін бірінші ретті қасиеттерін йонсондық теорияның өзіне көшіру болып табылады. Сондай-ақ, кейбір модельдердің бар болуы үшін дәстүрлі форсинг әдісін қолдануға болады. Егер теория кемел йонсондық теория болса, онда ол семантикалық әдіспен сәйкес келеді. Централды типтер әдісі: Централды типтер әдісін қолданудың мәні - қарастырылып отырған теорияның тілін тұрақтылар және предикаттармен байыту. Алынған централды тип рұқсаттылығы бар байытудағы мұралы йонсондық теорияның центрі болып табылады. 1) Получены условия эквивалентности подобия наследственных йонсоновских теорий и йонсоновских спектров в допустимых обогащениях. А а также найдено семантическое свойство показывающая связь с теорией полигонов в допустимых обогащениях наследственных йонсоновских теорий. 2) Определен результат, относящийся к классу теорий, соответствующему фактор-множеству, полученному с помощью косемантического соотношения йонсоновского спектра класса экзистенциально замкнутых моделей, т.е. если в допустимом обогащении центр класса йонсоновских теорий P-λ -стабильный, тогда класс йонсоновских теорий в допустимом обогащении будет совершенным (в смысле Т.Г. Мустафина). 3) Получен критерий эквивалентности прекрасных пар наследственных J-стабильных фрагментов. Определены свойства йонсоновских прекрасных пар относительно относительной категоричности. 1) Рұқсат етілген байытулардағы мұралы йонсондық теориялардың және йонсондық спектрлердің ұқсастықтарға қатысты эквиваленттілік шарттары алынды. Сонымен қатар, рұқсат етілген байытулардағы мұралы йонсондық теориялардың полигондар теориясымен байланысын көрсететін семантикалық қасиеті анықталды. 2) Теориялық жиындардың әмбебап дөңес фрагменттерінің централды типтерін пайдалана отырып, косемантикалық қасиетіне қатысты экзистенциалды тұйық модельдер класы зерттелді. Экзистенциалды тұйық модельдер класының йонсондық спектрінің косемантикалық қатынасы бойынша алынған фактор жиынына тиісті теориялар класына қатысты нәтиже анықталды, яғни егер рұқсат етілген байытудағы йонсондық теориялар класының центрі Т.Г.Мұстафин мағынасында P-λ-стабильді болса, онда байытуда рұқсаттылығы бар йонсондық теориялар класы кемел болады. 3) Мұралы J-стабильді фрагменттер үшін әсем қосарлардың эквиваленттілік критерийі алынды. Салыстырмалы әлбеттілікке қатысты йонсондық әсем қосарлардың қасиеттері анықталды. Не предусмотрено проектом Жоба бойынша қарастырылмаған
Теория моделей Модельдер теориясы |
||||
UDC indices | ||||
510.67 | ||||
International classifier codes | ||||
27.03.66; | ||||
Key words in Russian | ||||
наследственная йонсоновская теория; семантическая модель; косемантичность; йонсоновский спектр; свойство конечного покрытия; | ||||
Key words in Kazakh | ||||
мұралы йонсондық теория; семантикалық модель; косеманттылық; йонсондық спектр; шекті жабу қасиеті; | ||||
Head of the organization | Дулатбеков Нурлан Орынбасарович | Доктор юридических наук / профессор, Член-корреспондент НАН РК | ||
Head of work | Жумабекова Галия Еркиновна | Phd / нет |