In this paper, using the mathematical induction, a class of compulational formulas for the multipleintegral is proved.
得到了一类多重积分的计算公式,并运用数学归纳法给出了证明。
参考来源 - 一类多重积分的计算 A CLASS OF COMPULATIONAL FORMULAS FOR MULTIPLE INTEGRALIn addition, the method can extract the recursive program when the theorems used in proving are in the recursive forms, and also can extract iterative program by mathematical induction.
利用数学归纳法,使用本算法可以抽取循环程序。
参考来源 - 基于广义归结的程序综合·2,447,543篇论文数据,部分数据来源于NoteExpress
This paper discusses a type of method of radical irrational using mathematical induction.
讨论了一类根式的无理性,并用数学归纳法给出了证明。
Application of mathematical induction teaching mathematical induction is a very important link.
数学归纳法的应用是数学归纳法教学中很重要的一个环节。
Mathematical induction is a positive integer proved extremely relevant to the topic of effective scientific methods.
数学归纳法是一种证明与正整数有关的命题的极为有效的科学方法。
应用推荐