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