формальное дифференцирование Мат. formal differentiation Источник: Полный русско-английский словарь на Gufo.me Предложить изменения формальное вычисление формальное доказательство