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 |