一种将微积分作为数学组成部分并涉及证明和定义而不是算法和繁琐工作的主题的治疗。假定读者对基本功能足够熟悉。