中英▼
go top

网络释义专业释义

  [计] higher order logic

高阶逻辑(higher order logic)是在一阶命题演算逻辑基础上扩展形成的,已开发的 HOL 定理证明器支持高阶逻辑的定理证明。

基于238个网页-相关网页

  HOL

我们使用面向对象的建模技术，统一建模语言（UML），高阶逻辑（HOL）和数学形式化方法的组合。 UML提供了一个可视化的，直观的模型，该模型是很容易编写和容易理解的工程师。

基于37个网页-相关网页

短语

较高阶逻辑 higher order logic

高阶CMOS逻辑电路 ACMOS

高阶晶体管逻辑 high level transistor logic

高阶谓词逻辑 [数] predicate logic of higher order

 更多收起网络短语
  • order logic - 引用次数：4

    参考来源 - 用高阶逻辑表达时态逻辑及其应用 in C
    high level logic
    high order logic
  • higher order logic
  • higher-order logic
  • higher order logic

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

双语例句

  • 高阶类论语言中形容词的逻辑类型描写不一致，本文从汉语似矛盾句实例出发，联系预设因素，尝试统一形容词的逻辑类型描写。

    The descriptions of adjective logic types disagree in high-order logic, contacting presupposition, we try to unify the logic description of adjectives.

    youdao

更多双语例句

百科

高阶逻辑

高阶逻辑亦称“广义谓词逻辑”、“高阶谓词逻辑”。一阶逻辑的推广系统，谓词逻辑的重要组成部分。谓词逻辑有一阶逻辑和高阶逻辑之分。在一阶逻辑中，量词只能用于个体变元，取消这一限制条件，允许量词也可用于命题变元和谓词变元，由此构造起来的谓词逻辑就是高阶逻辑。公理化的高阶逻辑系统或高阶逻辑的自然推理系统又称为广义谓词演算或高阶谓词演算。

详细内容

以上来源于： 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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