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