结构归纳法是应用在数理逻辑、计算机科学、图论和一些其他数学领域中的一种证明方法(比如Los's 定理的证明)。它是一种特殊化的数学归纳法。
结构归纳法原理 [数] structural induction principle
递归定义和结构归纳法 Recursive Definitions and Structural Induction
在具体的证明过程中,主要使用的是关于公式结构的归纳法。
In the proving process, we mainly use the induction on the formula structure.
通过文献资料法、专家访谈法及逻辑归纳法,对同场对抗集体球类项目球队竞技能力结构系统进行探索。
Adopting the literature material law, expert interview and logical induction, the paper explores the competition ability structure system of a team.
应用推荐