go top

algebraic logic

  • 代数逻辑

网络释义专业释义英英释义

  [计] 代数逻辑

代数逻辑algebraic logic) 在现代逻辑史上,是指以线形代数记法来表现推理过程的符号逻辑。

基于2408个网页-相关网页

  符号逻辑

... 符号论 semiotics 符号逻辑 symbolic logic; algebraic logic 符号逻辑学 symbolic logic ...

基于1个网页-相关网页

短语

calculator with algebraic logic 代数逻辑计算器

algebraic logic of pocket calculator 袖珍计算机的代数逻辑

algebraic logic functional language 代数逻辑函数语言

abstract algebraic logic 抽象代数逻辑

 更多收起网络短语
  • 代数逻辑
  • 代数逻辑

·2,447,543篇论文数据,部分数据来源于NoteExpress

Algebraic logic

  • abstract: In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

以上来源于: WordNet

双语例句

  • But there is also another under-appreciative alternative; the simple algebraic logic of what Jennifer and I call pro-rata sharing.

    还有一些别的应该得到更多肯定支持方法;比如说这个珍妮佛称之为按比例分享简单代数方法。

    youdao

  • This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.

    该文提出了一种基于代数重写逻辑UML模型一致性检查方法

    youdao

  • The article puts forward and sets out clearly algebraic substitution axiom and the principle of duality, which are both universal logic laws.

    提出阐明两个普遍逻辑规律——代数替换公理对偶原理

    youdao

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

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

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