Математическое обоснование алгоритмов комбинаторной теории супералгебр Лидиссертация