在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

Complete partial order

查词链接:https://www.dute.org/dict/Complete_partial_order复制链接
完全偏序(dcpos和cpos是序理论中的特殊偏序集合,分别代表有向完全偏序和完全偏序,特征化自特定的完备性性质。主要应用于理论计算机科学和指称语义)
查看英英释义
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.

网络释义
完全偏序
... partial order 部分有序 complete partial order 完全偏序 Partial Order Reduction 偏序规约技术 ; 技术 ...
常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...