说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 归纳证明
1)  proof by induction
归纳证明
1.
On this basis, a method of proof by induction is shown in order-sorted specification.
又给出了有序类规范上的一个归纳证明方法。
2.
In this paper the authors introduced the implemental techniques of transformation equational specification into order-sorted equational specification, the proof techniques of inductive theorems on the order-sorted equational specification based on specification transformation for proof by induction.
本文在归纳证明的规范变换方法的基础上。
2)  demonstration and induction
实证归纳
3)  inductive argumentation
归纳论证
例句>>
4)  inductive argument
归纳式论证
5)  epagogic
归纳论证的
6)  resolution proof tree
归结证明树
1.
Many people research how to find value of y from resolution proof trees.
有许多人研究从归结证明树确定y的值的方法。
补充资料：不完全归纳推理
“完全归纳推理”的对称。以关于某类事物中部分对象的判断为前提，推出关于某类事物全体对象的判断做结论的推理。在归纳推理中，完全归纳推理是不多的，不完全归纳推理则是大量的。有两种：(1)简单枚举归纳推理，这是或然性推理；(2)科学归纳推理，这是必然性推理。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条