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