在线词典

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

Action algebra

查词链接:https://www.dute.org/dict/Action_algebra复制链接
作用代数(作用代数是既是剩余半格又是克莱尼代数的代数结构,它合并了程序和命题为一个单一类别)
查看英英释义
abstract:
In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or reflexive transitive closure operation of the latter to the former, while adding the left and right residuation or implication operations of the former to the latter.

网络释义
作用代数
... Clifford algebra 克利福德代数 ; 几何代数 interior algebra 内部代数 action algebra 作用代数 ...
常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...