A generalization of formula of integration by parts is given and formalized arithmetic of indefinite integral has been discussed.

给出了分部积分公式的推广形式，并讨论了分部积分过程的形式化。

This paper introduces several thinking methods of forming model to instruct students how to grasp integration by parts of calculus in mathematics teaching.

本文介绍在数学教学中用建立“模式”的思维方式指导学生怎样学习微积分学中的分部积分法。