×

作用代数的英文

发音:   用"作用代数"造句

百科释义

    在代数逻辑中，作用代数是既是剩余半格又是克莱尼代数的代数结构。它向剩余半格增加了克莱尼代数的星号或自反传递闭包运算，或者说向克莱尼代数增加了剩余半格的左和右剩余或蕴涵运算。不像程序的动态逻辑和其他模态逻辑，对于它们程序和命题形成了两个不同的类别，作用代数合并了二者为一个单一类别。它可被认为是变异的直觉逻辑，带有星号并带有非交换性的合取，它的单位元不需要是顶元素。不像克莱尼代数，作用代数形成了一个簇，它进一步的是可有限公理化的，至关重要的公理是 a?(a → a)* ≤ a。不像克莱尼代数的等式理论的模型(正则表达式等式)，作用代数的星号运算是在所有等式的模型中自反传递闭包。
    详细百科解释

相关词汇

        作用:    act on; affect
        代数:    K理论 algebraic K-theory
        用代数方法:    algebraically
        用代数解答:    algebraize
        通用代数翻译程序:    gat generalized algebraic translator
        通用代数模型系统:    general algebraic modeling system
        通用代数翻译程序，广义代数翻译程序:    gat generalized algebraic translator
        用代号:    encipher
        用代码:    in code
        代数:    [数学] algebra◇代数闭域 algebraic closed field; 代数编码 algebraic coding; 代数变换 algebraic transformation; 代数表达式 algebraic expression; 代数簇 algebraic variety; 代数等价 algebraic equivalence; 代数对数 algebraic logarithm; 代数对应 algebraic correspondence; 代数方法 algebraic method; 代数方程(式) algebraic equation; 代数分析 algebraic analysis; 代数符号 algebraic sign; algebraic symbol; algebraic digit; 代数根 algebraic root; 代数函数 algebraic function; 代数函数域 algebraic function field; 代数和 algebraic sum; algebraic addition; 代数恒等式 algebraic identity; 代数化 algebraization; 代数基本定理 fundamental theorem of algebra; 代数积 algebraic product; 代数积分 algebraic integral; 代数集合 algebraic set; 代数几何(学) algebraic geometry; 代数解 algebraic solution; 代数解法 algebraic method; 代数解析 algebraic analysis; 代数空间 algebraic space; 代数扩张 algebraic extension; 代数 k理论 algebraic k-theory; 代数逻辑 algebraic logic; 代数平均法 method of algebraic; 代数平均误差 algebraic average error; 代数曲线 algebraic curve; 代数群 algebraic group; 代数式 algebraic expression; 代数数 algebraic number; 代数数论 algebraic number theory; theory of algebraic numbers; 代数数域 algebraic numbers field; 代数同构 isomorphism of algebra; 代数同伦 algebraic homotopy; 代数同态 algebra homomorphism; 代数拓扑(学) algebraic topology; 代数微分方程 algebraic differential equation; 代数无关 algebraic independence; 代数项 algebraic term; 代数学 algebra; 代数循环 algebraic cycle; 代数语言 algebraic language; 代数语言学 algebraic linguistics; 代数语义学 algebraic semantics; 代数学家 algebraist; 代数运算 algebraic operation; 代数整数 algebraic integer; 代数值 algebraic value
        备用代码:    alternate code; spare code
        费用代码:    cost code
        公用代码:    public code
        共用代号:    code-sharing
        共用代理人:    common nominee
        禁用代码:    forbidden code; illegal code
        可重用代码:    reusable code
        滥用代理权:    abuse of the power of agency
        使用代理:    use proxy; user agent
        通用代码:    versatility code
        应用代理:    application proxy
        语用代码:    pragmatic code
        专用代码:    discrete code; private code
        专用代码键:    special code key
        公用代理技术:    cat common agent technology

相邻词汇

  1. "作用程序"英文
  2. "作用齿腹"英文
  3. "作用储存格"英文
  4. "作用传递函数"英文
  5. "作用锤击能量"英文
  6. "作用单元格"英文
  7. "作用导阀"英文
  8. "作用的"英文
  9. "作用的剪切应力"英文
  10. "作用地点"英文
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Mon, 11 Aug 2025 00:29:56 GMT