| Inventory number | IRN | Number of state registration | ||
|---|---|---|---|---|
| 0325РК00054 | AP22685890-KC-25 | 0124РК00183 | ||
| Document type | Terms of distribution | Availability of implementation | ||
| Краткие сведения | Gratis | Number of implementation: 0 Not implemented |
||
| Publications | ||||
| Native publications: 1 | ||||
| International publications: 2 | Publications Web of science: 0 | Publications Scopus: 1 | ||
| Patents | Amount of funding | Code of the program | ||
| 0 | 9929310.4 | AP22685890 | ||
| 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 | ||||
|
Счётно категоричные n-выпуклые слабо циклически минимальные теории ранга выпуклости 1, обладающие свойством почти бинарности. Саналымды категориялық n-дөңес әлсіз циклдік минималды, дөңестік дәрежесі 1 болатын және дерлік бинарлы қасиетке ие теориялар. Определить условия и характеристики, при которых счётно категоричные слабо циклически минимальные теории ранга выпуклости 1 являются почти бинарными, и описать их структурные свойства. Саналымды категориялы әлсіз циклдік минималды, дөңестік дәрежесі 1 теориялардың дерлік бинарлы болу шарттарын айқындау және олардың құрылымдық қасиеттерін сипаттау. Методы теоретико-модельного анализа, структурной классификации и аксиоматического описания логических теорий; использование понятий выпуклости, слабой циклической минимальности и категоричности. Модельдік-теориялық талдау, құрылымдық жіктеу және логикалық теорияларды аксиоматикалық сипаттау әдістері; дөңестік, әлсіз циклдік минималдылық және категориялылық ұғымдарын қолдану. Выделены критерии почти бинарности для класса счётно категоричных слабо циклически минимальных теорий ранга выпуклости 1; предложено конструктивное описание их моделей и установлены связи между свойствами выпуклости и бинарностью. Новизна заключается в расширении классификации слабо циклически минимальных теорий за счёт введения параметра n-выпуклости. Дөңестік дәрежесі 1 болатын саналымды категориялы әлсіз циклдік минималды теориялар класы үшін дерлік бинарлылықтың критерийлері анықталды; олардың модельдерінің конструктивті сипаттамасы ұсынылды және дөңестік пен бинарлылық қасиеттерінің арасындағы байланыстар дәлелденді. Жаңалығы – n-дөңестік параметрін енгізу арқылы әлсіз циклдік минималды теориялардың жіктелуін кеңейтуінде. 1. За отчётный период опубликована статья в высокорейтинговом международном журнале "Bulletin of Irkutsk State University. Series: Mathematics" (индексируется в Scopus, SJR – 0.752, Q1). 2. Выступила с докладом на "Традиционной международной апрельской научной конференции, посвящённой Дню работников науки Казахстана – 2025". 3. Приняла участие с докладом в "Международной научной конференции «Мальцевские чтения – 2024", проходившей в ноябре 2024 года в г. Новосибирске (Россия). 1. Есептік кезеңде Scopus халықаралық деректер базасында индекстелетін, жоғары рейтингті "Bulletin of Irkutsk State University. Series: Mathematics" журналында ғылыми мақала жарияланды (SJR – 0.752, Q1 квартилі). 2. Қазақстан ғылым қызметкерлері күніне арналған дәстүрлі халықаралық сәуір ғылыми конференциясында (2025 ж.)ғылыми баяндама жасалды. 3. 2024 жылғы қараша айында Ресейдің Новосибирск қаласында өткен «Мальцев оқулары – 2024» халықаралық ғылыми конференциясында баяндама ұсынылды. Результаты исследований носят теоретический характер. Зерттеу нәтижелері теоретикалық сипатқа ие. Ожидаемый социальный и экономический эффект заключается в росте интеллектуального потенциала страны и формировании новых специалистов. Күтілетін әлеуметтік және экономикалық әсер елдің интеллектуалдық әлеуетінің артуы мен жаңа мамандардИЗВЕСТИЯ Иркутского государственного университетаың қалыптасуында жатыр. Результаты исследований могут быть использованы для будущих исследований в теории моделей и в различных областях математики. Кроме того, они актуальны для таких направлений компьютерных наук, как общая теория реляционных баз данных, гибридные системы и формальные методы анализа информационных систем.. Зерттеу нәтижелері модельдер теориясында және математикадағы әртүрлі салаларда алдағы зерттеулер үшін пайдаланылуы мүмкін. Сондай-ақ, олар компьютерлік ғылымдар саласында, мысалы, реляциялық деректер базасының жалпы теориясы, гибридтік жүйелер және ақпараттық жүйелерді талдаудың формальды әдістері үшін де өзекті. |
||||
| UDC indices | ||||
| 510.6 | ||||
| International classifier codes | ||||
| 27.03.66; | ||||
| Key words in Russian | ||||
| почти ω-категоричность; ранг выпуклости; бинарная теория; слабая циклическая минимальность; циклически упорядоченная структура; слабая o-минимальность; счетная категоричность; алгебра распределений бинарных изолирующих формул; ω-категоричная слабо o-минимальная теория; | ||||
| Key words in Kazakh | ||||
| дерлік ω-категориялық; дөңестік ранг; бинарлы теория; әлсіз циклдік минималдылық; циклдік реттелген құрылым; әлсіз o-минималдылық; есептік категориялық; бинарлы оқшаулау; ω-категориялық әлсіз o-минималды теория; | ||||
| Head of the organization | Колесникова Катерина Викторовна | доктор технических наук / профессор | ||
| Head of work | Алтаева Айжан Бакаткалиевна | / PhD математики | ||