Обобщенно вычислимые модели и сложность вычислений
Руководитель проекта: Темирбеков Н.М.
Исполнители проекта: Хисамиев Н.Г.*
Организация: Восточно-Казахстанский государственный технический университет им. Д.Серикбаева
Инвентарный номер: 0213РК00429
Регистрационный номер: 0109РК01152
Ключевые слова: нильпотентные группы*булевые алгебры*вычислимые модели*
Получено необходимое и достаточное условие конструтивизируемости нильпотентной группы без кручения, размерность коммутанта которой кончена. Усовершенствована методика получения нижних оценок сложности распознавания теорий, и найдена такая оценка для теорий класса булевых алгебр и булевой алгебры из двух элементов.*