Условные термы и их применение в алгебре и теории вычислений