Inventory number IRN Number of state registration
0225РК00156 AP19674850-OT-25 0123РК00305
Document type Terms of distribution Availability of implementation
Заключительный Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 2
International publications: 1 Publications Web of science: 1 Publications Scopus: 0
Number of books Appendicies Sources
1 2 57
Total number of pages Patents Illustrations
64 0 3
Amount of funding Code of the program Table
35083327.2 AP19674850 8
Name of work
Число счетных моделей, моноиды изолирующих формул и семейства упорядоченных теорий
Report title
Type of work Source of funding The product offerred for implementation
Fundamental Другая (укажите)
Report authors
Кулпешов Бейбут Шайыкович , Судоплатов Сергей Владимирович , Байжанов Бектур Сембиулы , Вербовский Виктор Валериевич , Мархабатов Нурлан Дарханұлы , Алтаева Айжан Бакаткалиевна , Мустафин Тимур Салимович , Манапова Айнур Қабдешқызы ,
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стері толып табылады.

Исследованы свойства семейств о-минимальных теорий относительно фиксированного языка. Найден критерий е-тотальной трансцендентности для семейств о-минимальных теорий. Исследованы свойства семейств слабо о-минимальных теорий относительно фиксированного языка. Найден критерий е-тотальной трансцендентности для семейств слабо о-минимальных теорий.

Тұрақты тілге қатысты o-минималды теориялар отбасыларының қасиеттері зерттеледі. О-минималды теориялардың отбасылары үшін е-тоталды трансценденттілік критерийі табылды. Тұрақты тілге қатысты әлсіз o-минималды теориялар отбасыларының қасиеттері зерттеледі. Әлсіз o-минималды теориялардың отбасылары үшін е-тоталды трансценденттілік критерийі табылды.

За отчетный период опубликованы 32 работы, в том числе 12 журнальных статей: 8 – в научных изданиях, входящих в первые три квартиля базы Web of Science или имеющих процентиль не менее 50 по базе Scopus; 3 – в научных изданиях, не входящих в первые три квартиля базы Web of Science или имеющих процентиль менее 50 по базе Scopus, 1 – в казахстанском журнале, рекомендованном КОКСНВО; 20 статей и тезисов в сборниках материалов международных конференций.

Есепті кезеңде 32 мақала жарық көрді, оның ішінде 12 журнал мақаласы: 8 – Web of Science дерекқорының алғашқы үш квартиліне кіретін немесе Scopus дерекқорына сәйкес 50 пайыздан кем емес ғылыми жарияланымдарда; 3 – Web of Science дерекқорының алғашқы үш квартиліне кірмейтін немесе Scopus деректер базасы бойынша 50 пайыздық көрсеткіштен төмен ғылыми жарияланымдарда, 1 – Қазақстан Республикасы Оқу-ағарту министрлігінің Білім саласында сапаны қамтамасыз ету комитеті ұсынған қазақстандық журналда; Халықаралық конференциялар материалдарының жинақтарында 20 мақала мен тезистер.

Результаты исследований являются теоретическими.

Зерттеу нәтижелері теориялық.

Ожидаемый социальный и экономический эффект заключается в повышении интеллектуального потенциала страны и подготовки новых кадров. За отчетный период защищена 1 диссертация на соискание степени PhD по математике исполнителем проекта.

Күтілетін әлеуметтік-экономикалық нәтиже – елдің интеллектуалдық әлеуетін арттыру және жаңа кадрларды дайындау. Есепті кезеңде математикадан PhD дәрежесіне 1 диссертация жобаны орындаушымен қорғалды.

Полученные результаты могут быть использованы для дальнейших исследований в теории моделей, а также в других разделах математики. Результаты исследований применимы и в таких разделах компьютерных наук, как общая теория реляционных баз данных, гибридные системы и формальные методы исследования информационных систем.

Алынған нәтижелерді математика ғылымының басқа салаларында сияқты модельдер теориясын одан әрі зерттеу үшін қолдануға болады. Зерттеу нәтижелері информатиканың реляциялық мәліметтер қорының жалпы теориясы, гибридтік жүйелер және ақпараттық жүйелерді зерттеудің формальды әдістері сияқты салаларында қолданылады.

UDC indices
510.67
International classifier codes
27.03.66;
Readiness of the development for implementation
Key words in Russian
слабая о-минимальность; слабая циклическая минимальность; ортогональность типов; моноид изолирующих формул; ранг выпуклости; упорядоченная структура;
Key words in Kazakh
босаң о-минималдық; босаң циклдік минималдық; типтердің ортогоналдығы; оқшаулау формулаларының моноиды; дөңестік рангісі; реттелген құрылым;
Head of the organization Габдуллин Маратбек Тулепбергенович PhD / Профессор
Head of work Кулпешов Бейбут Шайыкович Доктор физико-математических наук / профессор
Native executive in charge Судоплатов Сергей Владимирович Профессор