📖 Алгоритмические проблемы алгебры, биоинформатики и робототехники II. Проблема описания многообразий с разрешимой эквациональной теорией.

Серия книг с общим названием "Алгоритмические проблемы алгебры, биоинформатики и робототехники" посвящена систематическому изложению алгоритмических проблем алгебры, биоинформатики и робототехники, в котором за основу взято наличие общности комбинаторных идей в трех рассматриваемых областях. При глубоком изучении алгоритмических проблем и методов их решения естественным образом приходит понимание того, что нас окружают строки данных, комбинаторные схемы. Их природа достаточно универсальна. Книга "Проблема описания многообразий с разрешимой эквациональной теорией" является второй в серии. Основное внимание в книге уделено построению примеров бесконечных цепочек многообразий колец и полугрупп, в которых многообразия с разрешимой и неразрешимой эквациональной теорией чередуются. Такие примеры являются аналогами примеров цепочек многообразий, в которых многообразия с разрешимой и неразрешимой проблемой равенства чередуются. В книге также рассматриваются вопросы, связанные с зависимостью разрешимости эквациональной теории многообразия от разрешимости эквациональной теории его покрытий. Отметим, что значительная часть материала книги публикуется впервые.