Проблема эквивалентных преобразований для схем программ с монотонными и перестановочными операторамитезисы доклада