Формулами дифференцирования обычно называют формулы для отыскания производных конкретных функций, например:

C`=0 x`=1 (kx+m)`=k (xn)`=nxn-1 (sinx)`=cox x (cosx)`=-sinx

(ex)`=ex (ax)`=axlna (lnx)`=1/x (logax)`=1/(xlna) (tgx)`=1/cos2x (ctgx)`=-1/sin2x