问在计算机科学的上下文中，“谓词”是什么意思？

EN

谓语('PRED-i-cat')是句子中包含动词的部分，它告诉你一些关于主语的信息。

例如，在句子中

"Mike正在吃饭“，我们有主语”Mike“，谓语”正在吃饭“。

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

Person mike;

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

mike (Person的一个实例)的isEating()成员是一个谓词。对于person (本例中为mike)正在进食的断言，它返回true或false。谓词用于决定是否为person提供食物。

谓词通常以回调的形式出现，但通常我们可以将该术语用于任何基于对断言真实性的评估而返回布尔值的函数。

对于排序，可能希望使用成员函数

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

作为我们的谓语。如果x来找我们，我们的排序算法将交换这两个水果。

还有一个术语谓词(predi-KATE)。在英语中，我们是这样用的：

“毕业是以取得及格成绩为前提的。”

这意味着一件事依赖于另一件事。

在计算机科学中，我们使用这个词的形式来描述条件执行。

例如，在CUDA编程中，有一些汇编指令，我们可以根据先前的结果来判断其执行情况。也就是说，设置一个谓词(CAT)标志，如果为true，则执行该指令；如果为false，则将该指令视为NOP。因此，指令的执行是基于所指示的谓词标志来判定的。

它们的用途非常相似。

希望这能有所帮助。

这个词来自于逻辑。

谓词是一个关于输入的" is“布尔问题。

"IsNull“是谓语疑问句。

另外，维基百科上有关于Predicates in Math的链接。

谓词是关于某件事的陈述，要么是真的，要么是假的。