go top

Complete partial order

  • 完全偏序(dcpos和cpos是序理论中的特殊偏序集合,分别代表有向完全偏序和完全偏序,特征化自特定的完备性性质。主要应用于理论计算机科学和指称语义)

网络释义英英释义

  完全偏序

... partial order 部分有序 complete partial order 完全偏序 Partial Order Reduction 偏序规约技术 ; 技术 ...

基于2452个网页-相关网页

短语

directed complete partial order set 定向完全偏序集

uniform complete partial order sets 一致完备偏序集

Complete partial order

  • abstract: In mathematics, directed-complete partial orders and ω-complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial orders play a central role in theoretical computer science, in denotational semantics and domain theory.

以上来源于: WordNet

双语例句

  • The notions of uniform complete partial order sets and uniform continuous partial order sets are defined.

    给出了一致连续偏序概念及其性质等价刻划。

    youdao

  • The two algorithms for concept learning efficiently complete the whole search through the hypothesis space based on a very useful structure: the general-to-specific partial order.

    对于两种算法来说,都是利用一般到特殊结构完成整个搜索过程。

    youdao

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

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

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