Chinese translation for "不动点归纳法"
|
- fixpoint induction method
Related Translations:
归纳法: induction methodinductive approachinductive methodinductive methoodinductive reasoningmethod of inductionmethod of resultant 数学归纳法: complele inductioncomplete inductionfinite inductioninduction mathématiquemathematical induction 归纳法原则: induction principle 归纳法公设: postulate of induction 逐次归纳法: successive induction 归纳法纠错: debugging by induction 完全归纳法: complete inductionperfect induction
- Example Sentences:
| 1. | The results about the unique fixpoint induction are of theoretical significance . the proof assistant pim is of importance from the application point of view . moreover , the verification of the ab protocol and the discovery of an error in r . milner ' s book point out the value of our work
上述结果中的有关唯一不动点归纳法的研究具有重要的理论意义，验证工具pim具有明确的应用价值，而对ab协议的验证及r . milner的著作中一个错误的发现更是我们工作的价值的体现。 | | 2. | Our work includes the following three aspects . first , aiming at designing a suitable version of the unique fixpoint induction from the application point of view , we generalized lin ' s version and got the final version we needed . second , we implemented pim , the first interactive proof assistant for the - calculus
主要工作和成果包括如下三个方面：首先，为了处理递归，我们对lin给出的适合于理论研究的唯一不动点归纳法进行了扩展，得到了所需要的适合于应用的一般化的版本。 |
- Similar Words：
- "不动点" Chinese translation, "不动点 (数学)" Chinese translation, "不动点定理" Chinese translation, "不动点法" Chinese translation, "不动点方法" Chinese translation, "不动点理论" Chinese translation, "不动点问题" Chinese translation, "不动点语义" Chinese translation, "不动点指数" Chinese translation, "不动点组合子" Chinese translation
|
|
|
