Вычислимость, интерпретируемость и алгебраические структуры
Руководитель проекта: Тусупов Джамалбек Алиаскарович
Исполнители проекта:
Организация: Некоммерческое акционерное общество "Евразийский Национальный университет имени Л.Н. Гумилева"
Инвентарный номер: 0220РК00833
Регистрационный номер: 0118РК00652
Ключевые слова: Нумерация,Вычислимость,Группы,Интерпретируемость,Кзаимногообразие,Многообразие,Решетки,Кольца,Минимальные структуры,Аксиоматизируемость
Основной целью данного проекта на отчетный период является исследование алгоритмических свойств и строения алгебраических структур, инвариантов полурешеток и Роджерса, аксиоматизируемость многообразий и квазимногообразий.