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 математики