Що таке ПРЕДИКАТ Англійською - Англійська переклад

• predicate

Приклади вживання Предикат Українська мовою та їх переклад на Англійською

Любов є лише предикат, а бог – суб’єкт.
Love is only a predicate, God the subject.

Кант заперечує на це, що існування не є предикат.
Kant pointed out that existence isn't a predicate.

У противному разі, казатимемо, що предикат P є хибним.
For suppose that the proposition that p is false.

Зверніть увагу, що предикат пов'язує більш щільно, ніж оператор/.
Note that the predicate binds more tightly than the/ operator.

Проте, результати відбуваються тільки якщо предикат є вірним.
However, the results are committed only if the predicate is true.

Наприклад, предикат write/1 відображає терм на екрані.
For example, the predicate write/1 displays a term on the screen.

Map- генерує новий діапазон, використовуючи предикат, визначений як параметр шаблону:.
Map- Generate a new range using the predicate defined as template parameter:.

Subset(S, T): предикат, що перевіряє чи є множина S підмножиною множини T.
Subset(S, T): a predicate that tests whether the set S is a subset of set T.

XML-елемент, однак, можуть бути перетворені- в залежності від контексту- як суб'єкт, предикат або об'єкт потрійний.
An XML element, however, can be transformed- depending on the context- as a subject, a predicate or object of a triple.

Предикат вищого порядку- це предикат, що має один або більше інших предикатів як аргументи.
A higher-order predicate is a predicate that takes one or more other predicates as arguments.

WHERE- цей розділ визначає предикат або умови, які повинні відповідати, щоб кваліфікувати проецирующийся атрибут.
WHERE- This clause defines predicate or conditions, which must match in order to qualify the attributes to be projected.

Це основоположне припущення має основу в традиційній логіці, яка вважає, що кожне судження має суб'єкт і предикат.
For this underlying assumption there is a basis in traditional logic, which assumes that every proposition has a subject and a predicate.

Він припускає, що предикат усередині області квантора загальності є істиною кожного значення змінної предикату.
It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

Перше поняття відноситься до традиційної граматики, яка має тенденцію розглядати предикат як одну з двох основних частин пропозиції, інша частина є предметом.
Traditional grammar tends to view a predicate as one of two main parts of a sentence, the other part being the subject.

Значення типу% 1 не може бути предикатом. Предикат повинен мати або числовий тип або тип Ефективного булівського значення.
A value of type %1 cannot be a predicate. A predicate must have either a numeric type or an Effective Boolean Value type.

Перше поняття відноситься до традиційної граматики, яка має тенденцію розглядати предикат як одну з двох основних частин пропозиції, інша частина є предметом.
The first concerns traditional grammar, which tends to view a predicate as one of two main parts of a sentence, the other part being the subject.

Приблизно, це говорить про те, що предикат істини, що задовольняє конвенція-T для речень певної мови, не може бути визначений в цій мові.
Roughly, this states that a truth-predicate satisfying convention-T for the sentences of a given language cannot be defined within that language.

Де H- атомна формула, яка не є неприводимой, всі B i{\displaystyle Bi} є текстовими значеннями, предикат яких не є неприводимим, а A i{\displaystyle Ai}- атомними формулами, предикат яких є неприводимим.
Where H is an atomic formula that is not abducible, all the Bi are literals whose predicates are not abducible, and the Ai are atomic formulas whose predicates are abducible.

Як інший приклад, предикат maplist застосовує предикат P до всіх відповідних положень у парі списків: maplist(_,,). maplist(P,,):- call(P, X, Y), maplist(P, Xs, Ys).
As another example, the predicate maplist applies a predicate P to all corresponding positions in a pair of lists: maplist(_,,). maplist(P,,):- call(P, X, Y), maplist(P, Xs, Ys).

Так, наприклад, якщо теорія визначає поняття відношення, то предикат є просто характеристичної функцією, інакше відомої як індикаторна функція відносини.
So, for example, when a theory defines the concept of a relation, then a predicate is simply the characteristic function or the indicator function of a relation.

Найважливіше, що переписування споряджає предикат двома додатковими аргументами, що можуть використовуватися для неявного прокручування стану через них, аналогічно до монад в інших мовах.
Most notably, the rewriting equips the predicate with two additional arguments, which can be used to implicitly thread state around, analogous to monads in other languages.

Так, наприклад, якщо теорія визначає поняття відношення, то предикат є просто характеристичної функцією, інакше відомої як індикаторна функція відносини.
So, for example, when a theory defines the concept of a relation, then a predicate is simply the characteristic function(otherwise known as the indicator function) of a relation.

Але особливо широке застосування функтори придбали в алгоритмах STL, розглянутих раніше, коли вони передаються в виклик в якості параметра, замість функції, визначальною дію або предикат алгоритму.
But especially widespread use functors acquired algorithms STL, discussed earlier, when they are passed in the challenge as a parameter, instead of the function, defining action or predicate algorithm.

Нагадаємо, що суб'єкт(S)- це те, про що йдеться у судженні, предикат(P)- це певне твердження про предмет думки, а зв'язка відображає співвідношення між S і P.
It should be reminded that the subject(S) is what the judgment says, the predicate(P) is a certain statement about the subject of thought, and the copula reflects the connection between S and P.

Всупереч першому враженню, ми зрозуміли, що теорія, яка передбачає власну безглуздість, насправді є не безглуздою, а хибною, бо предикат«безглуздий» на відміну від предиката«хибний» не призводить до виникнення парадоксів.
Contrary to first impressions, we find that a theory which implies its own meaninglessness is not meaningless but false, since the predicate'meaningless', as opposed to'false', does not give rise to paradoxes.

Так, якщо можна знайти хоча б один психологічний предикат, який явно може бути застосований як до восьминогам, так і до ссавців(наприклад,«голодний»), а в кого фізико-хімічні«кореляти» розрізняються в обох випадках, теорія психофізичного тотожності буде фальсифікована.
Thus if we can find even one psychological predicate which can clearly be applied to both a mammal and an octopus(say“hungry”), but whose physical-chemical“correlate” is different in the two cases, the brain-state theory has collapsed.

Зауважте, що абстрактний клас взагалі не вимагає абстрактного методу. assert(Додана в J2SE 1.4) Assert описує предикат(істинне/помилкове твердження), розміщений в програму Java, щоб вказати, що розробник вважає, що предикат завжди є вірним у цьому місці.
Note that an abstract class isn't required to have an abstract method at all. assert(added in J2SE 1.4) Assert describes a predicate(a true- false statement) placed in a Java program to indicate that the developer thinks that the predicate is always true at that place.

Процедурні підцілі, предикат який визначається програмою, вирішуються шляхом усунення мети, як у звичайному логічному програмуванні, але обмеження перевіряються на здійснимість за допомогою спеціалізованого вирішувача обмежень, який реалізує семантику предикатів обмежень.
Procedurally, subgoals whose predicates are defined by the program are solved by goal-reduction, as in ordinary logic programming, but constraints are checked for satisfiability by a domain-specific constraint-solver, which implements the semantics of the constraint predicates.

Для, здавалося б, простого речення як"Діти їдять кекси" программа спершу аналізує його синтаксичну або граматичну структуру, визначаючи, що"діти"- це підмет, а решта речення- предикат, що складається з дієслова"їдять", та прямого додатка"кекси".
For a seemingly simple sentence like,"The children eat the muffins," the program first parses its syntax, or grammatical structure, by identifying the children as the subject, and the rest of the sentence as the predicate consisting of a verb"eat," and a direct object"the muffins.".

У 2016 році у справі Салмана v. Сполучені Штати, Верховний Суд США визнав, що вигода, яку повинна отримувати перекидач, як предикат для судового переслідування інсайдера, не повинна бути грошовою, і що надання«подарунка» підказки члену сім'ї є передбачуваним актом для особиста, хоча і нематеріальна користь самоскида.[1].
In 2016, in the case of Salman v. United States, the U.S. Supreme Court held that the benefit a tipper must receive as predicate for an insider-trader prosecution of a tippee need not be pecuniary, and that giving a'gift' of a tip to a family member is presumptively an act for the personal though intangible benefit of the tipper.[14].