高等数学对于全微分的定义