Inventory number | IRN | Number of state registration | ||
---|---|---|---|---|
0321РК00089 | AP08855544-KC-21 | 0120РК00490 | ||
Document type | Terms of distribution | Availability of implementation | ||
Краткие сведения | Gratis | Number of implementation: 0 Not implemented |
||
Publications | ||||
Native publications: 9 | ||||
International publications: 23 | Publications Web of science: 3 | Publications Scopus: 6 | ||
Patents | Amount of funding | Code of the program | ||
0 | 19695848.28 | AP08855544 | ||
Name of work | ||||
Структурные свойства почти омега-категоричных упорядоченных теорий | ||||
Type of work | Source of funding | Report authors | ||
Fundamental | Кулпешов Бейбут Шайыкович | |||
0
0
2
2
|
||||
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шiнде реттелген құрылымдарды зерттеу, сол сияқты, анықталған унарлы функциялардың жүріс-тұрысын талдаумен модельдерді сипаттау, берілген дөңестік рангімен классификациясы арқылы модельдерді зерттеу және тағы да басқа зерттеу әдiстері толып табылады. Все полученные результаты являются новыми, носят фундаментальный, теоретический характер и заключаются в следующем: 1 Доказана ортогональность произвольного семейства попарно слабо ортогональных 1-типов для почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости. 2 Получен критерий бинарности почти омега-категоричных слабо о-минимальных теорий в терминах ранга выпуклости. В качестве следствия установлена бинарность почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости. Алынған барлық нәтижелер жаңа, іргелі және теоретикалық болып табылады және төмендегідей қорытынды жасауға болады: 1 Дөңестік рангісі шектеулі дерлік омега-категориялық әлсіз о-минималды теориялары үшін әлсіз ортогоналды 1-типтер кез келген жиындардың ортогоналдығы дәлелденді. 2 Дөңестік рангісі терминдер бойынша дерлік омега-категориялық әлсіз о-минималды теориялардың бинарлық критерийі алынды. Нәтижесінде дөңестік рангісі шектеулі дерлік омега-категориялық әлсіз о-минималды теориялардың бинарлығы анықталды. За отчетный период опубликованы 32 работы, в том числе 10 журнальных статей: 3 – в научных изданиях, входящих в первые три квартиля Web of Science (Q1 – Mathematics, Q2 – Algebra and Logic и Q3 – Siberian Mathematical Journal); 6 – в научных изданиях, индексируемых Scopus (Lobachevskii Journal of Mathematics – 3, Siberian Electronic Mathematical Reports – 1, Siberian Advances in Mathematics – 1, Известия Иркутского государственного университета, серия математика – 1), 1 – в казахстанском журнале (Kazakh Mathematical Journal); 22 статьи и тезисы в сборниках материалов международных конференций. Кесте бойынша барлық жоспарланған тапсырмалар уақытында және сапалы орындалды. Жүргізілген зерттеулер таза теориялық, іргелі сипатта болды. Есепті кезеңде 32 мақала жарық көрді, оның ішінде 10 журнал мақаласы: 3 - Web of Science алғашқы үш квартиліне кіретін ғылыми журналдарда (Q1 – Mathematics, Q2 – Algebra and Logic и Q3 – Siberian Mathematical Journal); 6 - Scopus индекстеген ғылыми журналдарда (Lobachevskii Journal of Mathematics – 3, Siberian Electronic Mathematical Reports – 1, Siberian Advances in Mathematics – 1, Известия Иркутского государственного университета, серия математика – 1), 1 - қазақ журналында ( Қазақ математикалық журналы); халықаралық конференциялар материалдарының жинақтарында 22 мақала мен тезистер.
Полученные результаты могут быть использованы для дальнейших исследований в теории моделей, а также в других разделах математики. Результаты исследований применимы и в таких разделах компьютерных наук, как общая теория реляционных баз данных, гибридные системы и формальные методы исследования информационных систем. Алынған нәтижелерді математика ғылымының басқа салаларында сияқты модельдер теориясын одан әрі зерттеу үшін қолдануға болады. Зерттеу нәтижелері информатиканың реляциялық мәліметтер қорының жалпы теориясы, гибридтік жүйелер және ақпараттық жүйелерді зерттеудің формальды әдістері сияқты салаларында қолданылады. |
||||
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 | Кулпешов Бейбут Шайыкович | Доктор физико-математических наук / профессор |