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