differential operator Оператор набла диференціальний оператор Англо-український словник технічних термінів