Inventory number IRN Number of state registration
0222РК00212 AP08856493-OT-22 0120РК00517
Document type Terms of distribution Availability of implementation
Заключительный Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 1
International publications: 3 Publications Web of science: 3 Publications Scopus: 3
Number of books Appendicies Sources
1 3 39
Total number of pages Patents Illustrations
80 0 0
Amount of funding Code of the program Table
20150000 AP08856493 0
Name of work
Позитивные графы и вычислимая сводимость на них как математические модели баз данных
Report title
Type of work Source of funding The product offerred for implementation
Fundamental Другая (укажите)
Report authors
Калмурзаев Биржан Сеилханович , Бадаев Серикжан Агыбаевич , Баженов Николай Алексеевич , Рақымжанқызы Фариза , Мұқаш Назгүл Қанышқызы , Өстемірова Ұлдана Бектемірқызы , Нұрланбек Диас Дәуренұлы , Асқарбекқызы Ақнұр ,
0
2
2
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

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

Зерттеу объектісі- позитивті графтардың, позитивті жарты реттің және позитивті эквивалентті қатынастардың белгілі кластары болып келеді. Позитивті графтар, позитив графтардағы белгілі кластардағы универсал графтар және позитив жарты реттердің белгілі кластарының индексті жиындары.

Цель работы – представление структур, индуцируемых позитивными графами, как математических моделей баз данных, исследования алгебраических и алгоритмических свойств структуры степеней позитивных графов относительно алгоритмической сводимости. Предполагается построить универсальные позитивные графы и установить индексные множества известных классов, таких как позитивные предпорядки, позитивные эквивалентности, двудольные графы, леса, n-раскрашиваемые графы и так далее.

Жұмыстың мақсаты- позитив графтармен туындаған құрылымдарды деректер базаларының математикалық моделдері ретінде сипаттау, алгоритмдік көшулер бойынша позитив графтардың деңгейлерінің құрылымының алгоритмдік және алгебралық қасиеттерін зерттеу. Универсал позитив графтарды құру және жарты реттер, позитив эквиваленттіктер, екі жақты графтар, ормандар n-бояумен боялатын графтар және сол секілді белгілі класстардың индексті жиынын құру жоспарланады.

Основные инструменты наших исследований - методы теории вычислимости, теории нумераций и теории конструктивных моделей, в том числе теорема Клини о рекурсии и ее обобщения, а также так называемый “метод приоритета”.

Біздің басты құралдарымыз есептелімділік теориясы, нөмірлеу теориясынан және конструктивті моделдер теориясынан алынған, олардың арасында рекурсия туралы Клини теоремасы мен оның жалпылаулары, сондай-ақ, «приоритет әдісі» деп аталатын маңызды инструменттер қолданылды.

В результате исследований были установлены сложность индексных множеств для следующих классов предпорядков: отношения эквивалентности, линейные предпорядки, светлые и темные предпорядки, самополные предпорядки, а также supp-определимые предпорядки. Была установлена в классе арифметических предпорядков сложность отношения вычислимой сводимости позитивных эквивалентностей. А также были установлены достаточные условия для существования универсальных нумераций и универсальных степеней относительно вычислимой сводимости.

Зерттеулер нәтижесінде позитив жарты реттердің келесі кластарының индексті жиындарын табу анықталды: эквиваленттік қатынастар, сызықты жарты реттер, жарық және қараңғы жарты реттер, өзітолық жарты реттер, және де supp-анықталымды жартыреттер. Позитив эквиваленттіліктердің есептелімді көшіру және арифметикалық кластарындағы жертылай реттердегі күрделілігі анықталды. Және де, графтардың универсал номілеулер және есептелімді көшірулерге байланысты универсал деңгейлер табылуының жеткілікті шарттары анықталды

Результаты исследований были доложены на международных конференциях «Мальцевские чтения 2021», «Конференция международных математических центров мирового уровня». По результатам исследовании опубликована 4 статьи в рейтинговых журналах, принята к печати 3 статьи в рейтинговых журналах, опубликовано одна глава в книге зарубежного издания, одна статья в отечественном журнале рекомендованной КОКСОН.

Зерттеу нәтижелері "Мальцев оқулары 2021", "Әлемдік деңгейдегі математика орталықтарының халықаралық конференциясы" халықаралық конференциясында баяндалды. Зерттеу нәтижелері бойынша рейтингі жоғары журналдарда 4 мақала жарияланды, тағы 3 мақала жариялануға қыбылданды, шетелдік басылымдарда кітаптың бір тарауы жарияланды, және КОКСОН ұсынған отандық журналда бір мақала жарияланды.

Внедрение не предусмотрено

Ендіру қарастырылмаған

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

Алынған барлық нәтижелер жаңа және болашақта мәліметтер базасының әртүрлі математикалық модельдерін құруда қолданыла алады.

UDC indices
510.5, 510.535, 510.598
International classifier codes
27.03.45;
Readiness of the development for implementation
Key words in Russian
Вычислимо перечислимые отношения эквивалентности; позитивные предпорядки; конструктивные алгебраические системы; вычислимые нумерации; позитивные графы;
Key words in Kazakh
рекурсив саналымды эквивалент қатынастар; позитив жартыреттер; конструктивті алгебралық құрылымдар; есептелімді нөмірлеулер,; позитив графтар;
Head of the organization Габдуллин Маратбек Тулепбергенович Phd / Профессор
Head of work Калмурзаев Биржан Сеилханович Доктор PhD / Доктор философий
Native executive in charge