Структурные и алгоритмические свойства моделей полных теорий
Full Name of the work head: Омаров А.И.
Исполнители проекта:
: Каз.гос.нац.ун-т им.Аль-Фараби
Inventory number: 0295РК00108
Registration number: 0194РК01208
Keywords: теория, модели, алгебра, структура, алгоритмы, теория, модели, алгебра,
Объект исследования: теория моделей и алгебр. Проведены: описание мультипликативных формул, исследование элементарных теорий различных классов алгебраических систем, алгоритмические вопросы элементарных теорий классических алгебр; теоретико-модельные свойства алгебр, полных теорий.