Вычислимость, интерпретируемость и алгебраические структуры
Full Name of the work head: Тусупов Джамалбек Алиаскарович
Исполнители проекта:
: Некоммерческое акционерное общество "Евразийский Национальный университет имени Л.Н. Гумилева"
Inventory number: 0219РК01358
Registration number: 0118РК00652
Keywords: Нумерация,Вычислимость,Группы,Интерпретируемость,Кзаимногообразие,Многообразие,Решетки,Кольца,Минимальные структуры,Аксиоматизируемость
Основной целью данного проекта на отчетный период является исследование алгоритмических свойств и строения алгебраических структур, инвариантов полурешеток и Роджерса, аксиоматизируемость многообразий и квазимногообразий.