Обобщенная вычислимость и определимость модели
Full Name of the work head: Н.Г.Хисамиев
Исполнители проекта: Н.Г.Хисамиев
: Вост.-Каз. техн. ун-т им. Д.М. Серикбаева
Inventory number: 0207РК01313
Registration number: 0107РК00240
Keywords: Вычислимость, Нильпотентные группы, Полиномиальные иерархии,
Объект исследования: вычислимые нильпотентные группы и классы полиномиально ограниченной иерархии языков. Найдены критерии конструктивизируемости и позитивной определенности нильпотентной R[p]-группы без кручения ступени 2. Установлено, что задача о выполнимости является полной по Куку среди задач, входящих в полиномиально ограниченную иерархию.
