blocks|key|1202437|text|这个词来自于逻辑。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1202438|谓词是一个关于输入的"+is“布尔问题。|1202439|"IsNull“是谓语疑问句。|1202440|另外，维基百科上有关于Predicates+in+Math的链接。|offset|length|1202441|entityMap|0|LINK|mutability|MUTABLE|url|http://en.wikipedia.org/wiki/Predicate_%2528mathematical_logic%2529^0|0|0|0|B|I|0|0^^$0|@$1|2|3|4|5|6|7|R|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|S|8|@]|9|@]|A|$]]|$1|D|3|E|5|6|7|T|8|@]|9|@]|A|$]]|$1|F|3|G|5|6|7|U|8|@]|9|@$H|V|I|W|1|X]]|A|$]]|$1|J|3|-4|5|6|7|Y|8|@]|9|@]|A|$]]]|K|$L|$5|M|N|O|A|$P|Q]]]]

The word comes from logic.

A predicate is an "is" boolean question about the inputs.

"IsNull" is a predicate question.

Also, wikipedia link about <a href="http://en.wikipedia.org/wiki/Predicate_%28mathematical_logic%29" rel="noreferrer">Predicates in Math</a>.

blocks|key|1202515|text|谓词是关于某件事的陈述，要么是真的，要么是假的。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1202516|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

A predicate is a statement about something that is either true or false.

blocks|key|988094|text|谓语('PRED-i-cat')是句子中包含动词的部分，它告诉你一些关于主语的信息。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|988095|例如，在句子中|988096|"Mike正在吃饭“，我们有主语”Mike“，谓语”正在吃饭“。|988097|在计算机科学的背景下，我们对陈述事实不感兴趣，而是为了决定是否做某事而测试真/假条件。|988098|Person+mike;

if+(!mike.isEating())
++++feedPerson(mike);|code-block|syntax|javascript|988099|mike+(Person的一个实例)的isEating()成员是一个谓词。对于person+(本例中为mike)正在进食的断言，它返回true或false。谓词用于决定是否为person提供食物。|offset|length|style|CODE|988100|谓词通常以回调的形式出现，但通常我们可以将该术语用于任何基于对断言真实性的评估而返回布尔值的函数。|988101|对于排序，可能希望使用成员函数|988102|bool+Fruit::ComesAfter(Fruit+x)+...|988103|作为我们的谓语。如果x来找我们，我们的排序算法将交换这两个水果。|988104|还有一个术语谓词(predi-KATE)。在英语中，我们是这样用的：|988105|“毕业是以取得及格成绩为前提的。”|988106|这意味着一件事依赖于另一件事。|988107|在计算机科学中，我们使用这个词的形式来描述条件执行。|988108|例如，在CUDA编程中，有一些汇编指令，我们可以根据先前的结果来判断其执行情况。也就是说，设置一个谓词(CAT)标志，如果为true，则执行该指令；如果为false，则将该指令视为NOP。因此，指令的执行是基于所指示的谓词标志来判定的。|988109|它们的用途非常相似。|988110|希望这能有所帮助。|988111|entityMap^0|0|0|0|0|0|0|4|6|6|J|A|13|6|1F|4|1V|4|20|5|0|0|0|0|A|1|0|0|0|0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|1G|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|1H|8|@]|9|@]|A|$]]|$1|D|3|E|5|6|7|1I|8|@]|9|@]|A|$]]|$1|F|3|G|5|6|7|1J|8|@]|9|@]|A|$]]|$1|H|3|I|5|J|7|1K|8|@]|9|@]|A|$K|L]]|$1|M|3|N|5|6|7|1L|8|@$O|1M|P|1N|Q|R]|$O|1O|P|1P|Q|R]|$O|1Q|P|1R|Q|R]|$O|1S|P|1T|Q|R]|$O|1U|P|1V|Q|R]|$O|1W|P|1X|Q|R]|$O|1Y|P|1Z|Q|R]]|9|@]|A|$]]|$1|S|3|T|5|6|7|20|8|@]|9|@]|A|$]]|$1|U|3|V|5|6|7|21|8|@]|9|@]|A|$]]|$1|W|3|X|5|J|7|22|8|@]|9|@]|A|$K|L]]|$1|Y|3|Z|5|6|7|23|8|@$O|24|P|25|Q|R]]|9|@]|A|$]]|$1|10|3|11|5|6|7|26|8|@]|9|@]|A|$]]|$1|12|3|13|5|6|7|27|8|@]|9|@]|A|$]]|$1|14|3|15|5|6|7|28|8|@]|9|@]|A|$]]|$1|16|3|17|5|6|7|29|8|@]|9|@]|A|$]]|$1|18|3|19|5|6|7|2A|8|@]|9|@]|A|$]]|$1|1A|3|1B|5|6|7|2B|8|@]|9|@]|A|$]]|$1|1C|3|1D|5|6|7|2C|8|@]|9|@]|A|$]]|$1|1E|3|-4|5|6|7|2D|8|@]|9|@]|A|$]]]|1F|$]]

A predicate ('PRED-i-cat') is the part of a sentence that contains the verb and tells you something about the subject.

For instance, in the sentence

"Mike is eating", we have the subject, 'Mike', and the predicate, 'is eating'.

In the context of computer science, we aren't interested in stating a fact, but rather, in testing a true/false condition for the purpose of deciding whether to do something.

<pre><code>Person mike;

if (!mike.isEating())
 feedPerson(mike);
</code></pre>

The <code>isEating()</code> member of <code>mike</code> (an instance of <code>Person</code>) is a predicate. It returns <code>true</code> or <code>false</code> for the assertion that the <code>person</code> (<code>mike</code> in this case) is eating. The predicate is being used to decide whether or not to feed the person.

Predicates are often found in the form of callbacks, but in general we can use the term for any function that returns a bool based on evaluation of the truth of an assertion.

For sorting, might want have the member function

<pre><code>bool Fruit::ComesAfter(Fruit x) ...
</code></pre>

as our predicate. If <code>x</code> comes after us, our sorting algorithm will swap the two fruits.

There's also the term predicate (predi-KATE). In English we use it like this: 

"Graduation is predicated upon attainment of passing grades."

It means one thing depends on another.

In computer science, we use this form of the word to describe conditional execution.

For instance, in CUDA programming, there are assembly instructions whose execution we can predicate (KATE) on a prior result. That is, you set a predicate (CAT) flag that, if true, causes the instruction to be executed, and if false, causes the instruction to be treated as a NOP. Thus the execution of the instruction is predicated upon the indicated predicate flag.

The uses are very similar.

Hope that helps.

blocks|key|988150|text|Predicate是一个函数，它接受一个元素作为输入参数，并返回true或false。谓词在高阶函数中使用，按元素方式应用于给定函数(也称为transformer)元素列表，并返回结果列表。Transformer是一个应用于每个元素的函数，它将生成一个或多个新元素。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|988151|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

Predicate is a function that takes one element as input parameter and return either true or false. Predicates are used in higher order functions, applied to a given function(a.k.a transformer) element-wise to a list of elements and returns a list of results. Transformer is a function applies to each element and will produce one or more new elements.

Specifically I've seen it used in the context of text filtering. As if "predicate" == "filter criteria".

Is this accurate?

What does 'predicate' mean in the context of computer science?

具体地说，我见过它在文本过滤的上下文中使用。就像“谓词”==“过滤条件”一样。这是准确的吗？

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

社区

活动

资源

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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

社区

活动

资源

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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