中英▼
go top

网络释义专业释义

  order logic

... 或逻辑 or else logic; or logic 阶逻辑 order logic 类逻辑 logic of class ...

基于2个网页-相关网页

  n order logic

... 级地址 n level address n 阶逻辑 n order logic n 脚插头 n pin package n ...

基于1个网页-相关网页

短语

高阶逻辑 [计] higher order logic ; HOL

初阶逻辑 first-order logic

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

较高阶逻辑 higher order logic

一阶逻辑 [计] first order logic

扩展的一阶逻辑系统 EFOL

低阶逻辑 low level logical

IF一阶逻辑 IF first-order logic

 更多收起网络短语
  • norderlogicn
  • n order logic

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

双语例句

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

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

    youdao

  • 描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

    Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

    youdao

  • 实数集的上确界公理用到了实数集的子集，这是一种二阶逻辑的陈述。

    The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.

    youdao

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

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

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