Компьютерные алгоритмы теоретико-множественного анализа сложных алгебраических систем