中英▼
go top

first order logic

  • 一阶逻辑：一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统，也可以称为：一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑和命题逻辑的不同之处在于，一阶逻辑包含量词。

网络释义

短语

First-order Logic 一阶逻辑 ; 初阶逻辑 ; 一阶谓词逻辑

First order logic [计] 一阶逻辑 ; 一阶谓词逻辑

Semigroups underlying first-order logic 一阶逻辑之下的半群

first-order logic model 一阶逻辑模型

the first-order logic 一阶谓词

fuzzy first-order logic 模糊一阶逻辑

fuzzy first order logic 模糊一阶逻辑

first-order logic system 一阶逻辑系统

Monadic first-order logic 一元谓词演算

fuzzy first - order logic 模糊一阶逻辑

 更多收起网络短语

双语例句

  • youdao

  • This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.

    这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。

    youdao

  • Continuous first-order logic is an analog of classical first-order logic.

    连续一阶逻辑是经典一阶逻辑的一个类比。

    youdao

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

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

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