The object of research, development or design (in Russian) : Полурешетки Роджерса семейств множеств первого и второго уровней иерархии Ершова

The object of research, development or design (in Kazakh) : Ершов иерархиясының бірінші және екінші деңгейлеріндегі жиын үйірлерінің Роджерс жартыторлары

Aim of work (in Russian) : Исследование одноэлементных полурешеток Роджерса и спектра минимальности полурешеток Роджерса.семейств множеств иерархии Ершова первого и второго уровней.

Aim of work (in Kazakh) : Жобанық мақсаты – Ершов иерархиясының бірінші және екінші деңгейлеріндергі жиын үйірлерінің бір элементті Роджерс жартыторлары мен Роджерс жартыторларының минимал элементтнрінің спектрін зерттеу.

Методы исследования (на русском) : Методы теории вычислимости

Методы исследования (на казахском) : Есептелмелілік теориясының тәсілдері

Obtained results and novelty (in Russian) : Построены семейства множеств первого и второго уровня иерархии Ершова с одноэлементной полурешеткой Роджерса; содержащие бесконечные цепи множеств по включению. Показана полнота спектра минимальности полурешеток Роджерса семейств множеств первого и второго уровня иерархии Ершова. Исследованы алгебраические свойства полурешеток Роджерса некоторых семейств множеств относительно пунктуальной сводимости. Доказана бесконечность числа типов элементарной эквивалентности полурешеток Роджерса в любом уровне иерархии Ершова. Все полученные результаты являются новыми.

Obtained results and novelty (in Kazakh) : Бір элементті Роджерс жартылай торы бар Ершов иерархиясының бірінші және екінші деңгейлерінің бір бірінің ішкі жиыны болатындай шексіз жиын тізбегінің үйірлері құрастырылған; Ершов иерархиясының бірінші және екінші деңгейлеріндегі жиындан үйрілері үшін Роджерс жартылай торларының минималдылық спектрінің толықтығы көрсетілген. Кейбір жиындардың үйрі үшін пунктуаль көшіру бойынша Роджерс жарты торларының алгебралық қасиеттері зерттелді. Ершов иерархиясының кез келген деңгейінде Роджерс жартылай торларының элементар эквивалент типтерінің саны шексіз екендігі дәлелденді. Барлық алынған нәтижелер жаңа.

The main constructive and technical economic indicators (in Russian) : Исследования по проекту являются теоретическими и не предполагают наличие конструктивных и технико-экономических показателей.

The main constructive and technical economic indicators (in Kazakh) : Жоба бойынша зерттеулер теориялық сипатқа ие болып табылады және конструктив пен техникалық-экономикалық көрсеткіштерге ие емес.

Level of implementation (in Russian) :

Level of implementation (in Kazakh) :

Efficiency (in Russian) :

Efficiency (in Kazakh) :

Field of application (in Russian) : Научные результаты проекта найдут применения, как в дальнейших исследованиях по теории вычислимости, так и при разработке специальных курсов для подготовки магистров и докторов по специальностям «математика» и «информатика».

Field of application (in Kazakh) : Жобаның ғылыми нәтижелері есептелу теориясы бойынша жалғасты зерттеулелер жасауға да, сонымен бірге «математика» және «информатика» мамандықтары бойынша магистрлер мен докторларды дайындау үшін арнайы курстарды әзірлеуде де қолдануға болады.