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 / нет