Inventory number | IRN | Number of state registration |
---|---|---|
0222РК00318 | AP08856834-OT-22 | 0120РК00539 |
Document type | Terms of distribution | Availability of implementation |
Заключительный | Gratis | Number of implementation: 0 Not implemented |
Publications | ||
Native publications: 0 | ||
International publications: 3 | Publications Web of science: 3 | Publications Scopus: 3 |
Number of books | Appendicies | Sources |
1 | 4 | 49 |
Total number of pages | Patents | Illustrations |
80 | 0 | 0 |
Amount of funding | Code of the program | Table |
20500000 | AP08856834 | 0 |
Name of work | ||
Проблемы полурешеток Роджерса семейств множеств первого и второго уровней иерархии Ершова. | ||
Report title | ||
Type of work | Source of funding | The product offerred for implementation |
Fundamental | Другая (укажите) | |
Report authors | ||
Бадаев Серикжан Агыбаевич , Гончаров Сергей Савостьянович , Исахов Асылбек Абдиашимович , Калмурзаев Биржан Сеилханович , Тлеулиева Жансая Даулетовна , Мұстафа Манат , Мұқаш Назгүл Қанышқызы , | ||
0
0
1
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 | ||
Полурешетки Роджерса семейств множеств первого и второго уровней иерархии Ершова. Бірінші және екінші Ершов ииерархиясының деңгейіндегі үйірлерінің Роджерс жартыторлыры. Исследование глобальных инвариантов, показывающих существенное различие алгебраических свойств полурешеток Роджерса вычислимых семейств множеств иерархии Ершова из первого, второго и ее более высоких конечных уровней. К таким инвариантам относятся спектр минимальности и спектр мощностей полурешеток Роджерса. Рекурсив саналымды жиындардың, рекурсив саналымды жиындардың айырмаларынан тұратын үйірлердің және Ершов иерархиясының жоғары деңгейліріндегі жиындар үйірлері үшін Роджерс жартыторлырының алгебралық қасиеттерінде айырмашылықтар табылатындығын көрсететін глобалды инварианттарды табу. Бұндай инварианттарға Роджерс жартыторының минимал элементтерінің спектрі және Роджерс жартыторының қуаттарының спектрлері жатады. Решение конкретных задач проекта сводится к конструктивному построению вычислимых семейств множеств, обладающих теми или иными свойствами, требуемыми в этих задачах. Основным подходом для решения этих задач является использование методов приоритета с конечными и бесконечными нарушениями. Жобадағы есептерді шешу бұл есептерде қажет болатын қасиеттерге ие есептелімді үйірлерді конструктивті кұруға әкеліп соғады. Бұл есептерді шығарудың негізгі әдісі ақырлы және шексіз бұзылулары бар приоритет әдісін қолдану болып табылады. Построены семейства множеств иерархии Ершова, содержащие бесконечную цепь по включению, с одноэлементной полурешеткой Роджерса; установлена максимальность спектра минимальных нумераций полурешеток Роджерса семейств множеств второго уровня иерархии Ершова; построено семейство множеств второго уровня иерархии Ершова, полурешетка Роджерса которого не тривиальна и содержит наибольший и наименьший элементы; выявлены сходства и различия полурешеток Роджерса семейств монотонно предельных функций и полурешеток Роджерса относительно примитивно рекурсивной сводимости семейств примитивно рекурсивных функций от полурешеток Роджерса семейств множеств иерархии Ершова. Все полученные результаты являются новыми. Ішжиын қатынасы бойынша шексіз шынжыр қамтитын Ершов иерархиясында жиындар үйірі құрылды; Ершов иерархиясының екінші деңгейіндегі жиындар үйірі үшін Роджерс жартыторының минимал нөмірлеулерінің спектрі максималды болатындығы орнатылды; Роджерс жартыторы тривиалды емес, ең үлкен және ең кіші элементтерді қамтитын Ершов иерархиясының екінші деңгейінде жиындар үйірі құрылды; монотонды шектік функциялар үйірінің Роджерс жартыторларының және примитив рекурсив функциялардың примитив рекурсив көшірулерге қатысты Роджерс жартыторларының Ершов иерархиясындағы жиындар үйірінің Роджерс жартыторларына қатысты айырмашылықтар мен ұқсастықтар анықталды. Зерттеу барысында алынған барлық нәтижелер жаңа. Научные статьи, опубликованные в рейтинговых изданиях, входящих в базы данных Scopus и Web of Science. Scopus және Web of Science базаларына кіретін басылымдарында жарияланған ғылыми еңбектер. Внедрение не предусмотрено. Қолдану мақсатталған жоқ:
Система высшего образования, Компьютерные науки Жоғарғы білім беру саласы, Компьютерлік ғылымдар. |
||
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 | Бадаев Серикжан Агыбаевич | Доктор физико-математических наук / Профессор |
Native executive in charge | Мұстафа Манат | Assistant Professor |