人民教育出版社中数室 田载今 数学归纳法（mathematical induction）是一种重要的数学证明方法，利用它可以证明某些命题对于全体正整数成立.一般地，用数学归纳法证明命题P对于全体正整数成立的.
基于7403个网页-相关网页
... mathematical control mode 数学控制模态 mathematical induction 数学感应 mathematical logic 数理逻辑 ...
基于71个网页-相关网页
8 种 數学归纳法 (Mathematical Induction) 的题型 (基础、份數、數列、上下相减、整除性、二项、三角、应用) e. 5 大变种手法 (3) Binomial Theorem(二项式定理) : a.
基于20个网页-相关网页
definition by mathematical induction [数] 用数学归纳法定义
double mathematical induction [数] 双重数学归纳法
axiom of mathematical induction [数] 数学归纳法公理
multiple mathematical induction [数] 多重数学归纳法
mathematical induction method 数学归纳法
reversed mathematical induction 倒推归纳法
proof of mathematical induction 数学归纳法的证明
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
应用推荐