中英▼
go top

网络释义专业释义

  [数] predicate calculus

在这一章中，我们介绍谓词演算（predicate calculus），它是用于人工智能的一种表示语言。谓词演算的重要性已经在第二部分的介绍中有所提及，它的优点包括明确定义的形式语义（formal...

基于636个网页-相关网页

  predicate logic

... primitive recursive predicate 原始递归谓词,原始递... predicate logic 谓词演算 false predicate 假谓词 ...

基于60个网页-相关网页

  predicative calculus

... predicated response 预测响应 predicative calculus 谓词演算 prediction 预报 ...

基于4个网页-相关网页

  predicate calculation

谓词演算

基于1个网页-相关网页

短语

狭谓词演算 restricted predicate calculus

广义谓词演算 extended predicate calculus

带恒等式的谓词演算 predicate calculus with identity

二阶谓词演算 [数] second-order predicate calculus

一阶谓词演算 FOPC

带注释的谓词演算 annotate predicate calculus

纯谓词演算 [数] pure predicate calculus

谓词演算公式 Predicate calculus formula

高阶谓词演算 [数] [计] high-order predicate calculus

 更多收起网络短语
  • predicate calculus - 引用次数：1

    参考来源 - SQL在递归查询和逻辑谓词上的扩充 in C
  • predicate calculus - 引用次数：3

    参考来源 - 浅析弗雷格的真值理论
    predicate logic
  • predicate calculus

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

新汉英大辞典

谓词演算

  • predicate calculus
以上来源于：《新汉英大辞典》

双语例句

  • 谓词演算与程序语义。

    Predicate Calculus and Program Semantics.

    youdao

  • 从而形成了模糊谓词演算一种新的语构与语义体系。

    Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.

    youdao

  • 谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

    Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

    youdao

更多双语例句

百科

谓词演算

谓词演算是数理逻辑最基本的形式系统，其又被称为一阶逻辑。一个可以回答真假的命题，不仅可以分析到简单命题，还可以分析到其中的个体、量词和谓词。个体表示某一个物体或元素，量词表示数量，谓词表示个体的一种属性。例如用P(x)表示x是一棵树，则P(y)表示y是一棵树，用Q(x)表示x有叶，则Q(y)表示y也有叶。这里P、Q是一元谓词，x，y是个体，公式"∀(P(x)→Q(x))表示每一棵树都有叶子，这里"是全称量词表示“每一个”。公式∃ x(P(x)∧Q(x))表示存在有叶子的树，∃这里是存在量词，表示“至少存在一个”。

详细内容

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

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

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