go top

有道翻译

泛函的最小不动点

Minimum fixed point of the functional

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • 基础上引入原理深入刻划循环含义,循环变式可以表示为谓词最小不动点从范畴角度解释过程。

    Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定