Inventory number | IRN | Number of state registration | ||
---|---|---|---|---|
0324РК00158 | AP19674850-KC-24 | 0123РК00305 | ||
Document type | Terms of distribution | Availability of implementation | ||
Краткие сведения | Gratis | Number of implementation: 0 Not implemented |
||
Publications | ||||
Native publications: 4 | ||||
International publications: 8 | Publications Web of science: 4 | Publications Scopus: 4 | ||
Patents | Amount of funding | Code of the program | ||
0 | 33261496.8 | AP19674850 | ||
Name of work | ||||
Число счетных моделей, моноиды изолирующих формул и семейства упорядоченных теорий | ||||
Type of work | Source of funding | Report authors | ||
Fundamental | Кулпешов Бейбут Шайыкович | |||
0
0
0
1
|
||||
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 | ||||
Объектом исследования являются слабо о-минимальные теории, слабо циклически минимальные теории, сферические порядки, упорядоченные теории, алгебры распределения изолирующих бинарных формул. Әлсіз о-минималды теориялар, әлсіз циклдік минималды теориялар, сфералық реттіліктер, реттелген теориялар, оқшалау бинарлық формулалар алгебралары зерттеу объектiсi болып табылады. Исследование теоретико-модельных свойств линейно и циклически упорядоченных структур, а также их обобщений – сферических порядков, их описание и классификация. Сызықтық және циклдік реттелген құрылымдардың модельдік-теориялық қасиеттерін, сонымен қатар олардың жалпылаулары – сфералық реттіліктерін, олардың сипаттамасы мен классификациясын зерттеу. Методами исследований являются классические методы теории моделей, в частности, методы исследования упорядоченных структур, такие как описание моделей посредством анализа поведения определимых унарных функций, исследование моделей посредством классификации по введенному рангу выпуклости и другие. Модельдер теориясының классикалық әдiстері, соның iшiнде реттелген құрылымдарды зерттеу, сол сияқты, анықталған унарлы функциялардың жүріс-тұрысын талдаумен модельдерді сипаттау, берілген дөңестік рангімен классификациясы арқылы модельдерді зерттеу және тағы да басқа зерттеу әдiстері толып табылады. Все полученные результаты являются новыми, носят фундаментальный, теоретический характер и заключаются в следующем: 1. Описаны моноиды изолирующих формул для омега-категоричных 1-неразличимых слабо циклически минимальных теорий с acl({a}), не равным {a} для любого элемента a. Исследованы моноиды изолирующих формул для этих теорий на коммутативность. Получен критерий коммутативности счетно категоричной 1-транзитивной непримитивной слабо циклически минимальной структуры ранга выпуклости 1 с acl({a}), не равным {a} для некоторого элемента a. 2. Описаны моноиды изолирующих формул для омега-категоричных 1-неразличимых слабо циклически минимальных теорий с с acl({a}) = {a} для некоторого элемента a. Исследованы моноиды изолирующих формул для этих теорий на коммутативность. Получен критерий коммутативности счетно категоричной 1-транзитивной непримитивной слабо циклически минимальной структуры ранга выпуклости 1 с acl({a}) = {a} для некоторого элемента a. Опубликованы 4 статьи в рецензируемых научных изданиях, входящих в первые три квартиля в базе Web of Science или имеющих процентиль по CiteScore в базе Scopus не менее 50 (пятидесяти). Алынған барлық нәтижелер жаңа, іргелі және теоретикалық болып табылады және төмендегідей қорытынды жасауға болады: 1. Кез келген a элементі үшін {a} тең емес acl({a}) бар омега-категориялық 1-айырылмайтын әлсіз циклдік минималды теориялар үшін оқшаулау формулаларының моноидтарын сипатталынды. Бұл теориялар үшін оқшаулау формулаларының моноидтары коммутативтілік үшін зерттеледі. Кейбір а элементі үшін {a} тең емес acl({a}) дөңес рангісі 1 санаулы категориялық 1-айырылмайтын примитивтік емес әлсіз циклдік минималды құрылымының коммутативтілік критерийін алынды. 2. Кейбір а элементі үшін acl({a}) = {a} бар омега-категориялық 1-айырылмайтын әлсіз циклдік минималды теориялар үшін оқшаулау формулаларының моноидтарын сипатталынды. Бұл теориялар үшін оқшаулау формулаларының моноидтары коммутативтілік үшін зерттеледі. Кейбір а элементі үшін acl({a}) = {a} болатын дөңес рангісі 1 санаулы категориялық 1-айырылмайтын примитивтік әлсіз циклдік минималды құрылымының коммутативтілік критерийін алынды. 4 мақала Web of Science дерекқорының алғашқы үш квартиліне кіретін немесе Scopus дерекқорында CiteScore пайыздық көрсеткіші кемінде 50 (елу) болатын рецензияланған ғылыми жарияланымдарда жарияланды. За отчетный период опубликованы 12 работ, в том числе 4 журнальные статьи: все в научных изданиях, входящих в квартиль Q2 базы Web of Science (Lobachevskii Journal of Mathematics, Siberian Mathematical Journal, Bulletin of the Karaganda University. Mathematics Series, The Bulletin of Irkutsk State University. Series Mathematics); 8 тезисов в сборниках материалов международных конференций. Есепті кезеңде 12 мақала жарық көрді, оның ішінде 4 журнал мақаласы: барлығы Web of Science базасын Q2 квартиліне кіретін ғылыми журналдарда (Lobachevskii Journal of Mathematics, Siberian Mathematical Journal, Bulletin of the Karaganda University. Mathematics Series, The Bulletin of Irkutsk State University. Series Mathematics); халықаралық конференциялар материалдарының жинақтарында 8 тезис. Результаты исследований являются теоретическими. Зерттеу нәтижелері теориялық. Ожидаемый социальный и экономический эффект заключается в повышении интеллектуального потенциала страны и подготовки новых кадров. В текущем году защищена 1 диссертация на соискание степени PhD по математике исполнителем проекта. Күтілетін әлеуметтік-экономикалық нәтиже – елдің интеллектуалдық әлеуетін арттыру және жаңа кадрларды дайындау. Ағымдағы жылы математикадан PhD дәрежесіне 1 диссертация жобаны орындаушымен қорғалды. Полученные результаты могут быть использованы для дальнейших исследований в теории моделей, а также в других разделах математики. Результаты исследований применимы и в таких разделах компьютерных наук, как общая теория реляционных баз данных, гибридные системы и формальные методы исследования информационных систем. Алынған нәтижелерді математика ғылымының басқа салаларында сияқты модельдер теориясын одан әрі зерттеу үшін қолдануға болады. Зерттеу нәтижелері информатиканың реляциялық мәліметтер қорының жалпы теориясы, гибридтік жүйелер және ақпараттық жүйелерді зерттеудің формальды әдістері сияқты салаларында қолданылады. |
||||
UDC indices | ||||
510.67 | ||||
International classifier codes | ||||
27.03.66; | ||||
Key words in Russian | ||||
слабая о-минимальность; слабая циклическая минимальность; ортогональность типов; моноид изолирующих формул; ранг выпуклости; упорядоченная структура; | ||||
Key words in Kazakh | ||||
босаң о-минималдық; босаң циклдік минималдық; типтердің ортогоналдығы; оқшаулау формулаларының моноиды; дөңестік рангісі; реттелген құрылым; | ||||
Head of the organization | Габдуллин Маратбек Тулепбергенович | PhD / Профессор | ||
Head of work | Кулпешов Бейбут Шайыкович | Доктор физико-математических наук / профессор |