“谓词”在计算机科学中意味着什么?

内容来源于 Stack Overflow,并遵循CC BY-SA 3.0许可协议进行翻译与使用

  • 回答 (2)
  • 关注 (0)
  • 查看 (66)

具体来说,我看到它在文本过滤的上下文中使用过。好像“谓词”=“筛选条件”。

这是准确的吗?

提问于
用户回答回答于

它是数学逻辑领域中最常用的术语。

从维基百科(...)

在数学中,谓词要么是关系或布尔值函数这相当于这种关系的特征函数或指示函数。 A函数P:X。→{true,false}称为X上的谓词,当P是X上的谓词时,我们有时会说P是X的一个性质。

...

“谓词”==“筛选条件”

用户回答回答于

谓词('PRED-i-cat')是包含动词的句子的一部分,并告诉你有关该主题的内容。

例如,在句子中

“迈克正在吃东西”,我们有主题“迈克”,而谓词“正在吃东西”。

在计算机科学的背景下,我们对陈述一个事实并不感兴趣,而是为了决定是否做某事而测试一个真/假的条件。

Person mike;

if (!mike.isEating())
    feedPerson(mike);

(的一个实例的isEating()成员是一个谓词。它返回或断定(在这种情况下)正在吃东西。谓词被用来决定是否喂养这个人。mikePersontruefalsepersonmike

谓词通常以回调的形式存在,但通常我们可以使用该术语用于任何函数,该函数根据断言真值的评估返回一个bool。

对于排序,可能要有成员函数

bool Fruit::ComesAfter(Fruit x) ...

作为我们的谓语。如果x来到我们后面,我们的排序算法将交换两个成果。

还有术语谓词(predi-KATE)。在英文中,我们使用它是这样的:

“毕业的成绩取决于达到成绩。”

这意味着一件事取决于另一件事。

在计算机科学中,我们用这种形式来描述条件执行。

例如,在CUDA编程中,有汇编指令的执行,我们可以根据先前的结果预测(KATE)。也就是说,您设置了一个谓词(CAT)标志,如果为真,则会导致指令被执行,如果为假,则会将该指令视为NOP。因此,指令的执行是基于指示的谓词标志。

所属标签

可能回答问题的人

  • 人生的旅途

    10 粉丝484 提问6 回答
  • 无聊至极

    4 粉丝504 提问6 回答
  • 骑牛看晨曦

    5 粉丝522 提问5 回答
  • 富有想象力的人

    4 粉丝0 提问4 回答

扫码关注云+社区

领取腾讯云代金券