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

• predicate

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

Аналогічно, якщо Q(n) є предикатом«n парне», то.
Similarly, if Q(n) is the predicate"n is even", then.

Отже, ми повинні зробити висновок, що w не є предикатом.
There we must conclude that w is not a predicate.

Наприклад, якщо P(n) є предикатом«2·ngt; 2+ n» а N- множиною натуральних чисел, то:.
For example, if P(n) is the predicate"2·ngt; 2+ n" and N is the set of natural numbers, then:.

Критика Іммануїла Канта була заснована на його думці хибності того, що первинна умова існування є предикатом.
Immanuel Kant's critique was based on what he saw as the false premise that existence is a predicate.

Наприклад, запит із предикатом«A між A1 і A2» може оброблятися лише вузлом(-ами), що містять кортежі.
For instance, a query with a predicate“A between A1 and A2” may be processed by the only node(s) containing tuples.

Під час кодування ми вважаємо меседжами всі судження, наявні у досліджуваній вибірці медіа-повідомлень, в яких суб'єктом або предикатом постають:.
During coding, we consider all the judgments in the sample of media reports to be messages. The subject or predicate in them are presented by:.

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

Він міркував, що якщо нічого не сказано про причину існування, то воно не є предикатом і, таким чином,«вища досконала» істота може і не існувати.
He proposed that, as it adds nothing to the essence of a being, existence is not a predicate and thus a"supremely perfect" being can be conceived not to exist.

Коли P є таким предикатом, що для кожного X P(X, Y) об'єднує Y з єдиним унікальним значенням, maplist(P, Xs, Ys) є еквівалентом застосування функції map у функційному програмуванні як Ys= map(Function, Xs).
When P is a predicate that for all X, P(X, Y) unifies Y with a single unique value, maplist(P, Xs, Ys) is equivalent to applying the map function in functional programming as Ys= map(Function, Xs).

Він зазвичай позначається оберненою А(∀) логічного оператора символом, який, коли використовується разом зі змінною предикатом, називається квантором загальності(«∀x»,«∀(x)» чи іноді сам«(x)»).
It is usually denoted by the turned A(∀) logical operator symbol, which, when used together with a predicate variable, is called a universal quantifier("∀x","∀(x)", or sometimes by"(x)" alone).

Інший типовий приклад:( $relationAllExists $biologicalMother$ChordataPhylum$FemaleAnimal) який означає що для кожного екземпляра$ChordataPhylum(хордових), існує самиця(екземпляр$FemaleAnimal) яка є матір'ю(описується предикатом $biologicalMother).
Another typical example is($relationAllExists$biologicalMother$ChordataPhylum$FemaleAnimal) which means that for every instance of the collection$ChordataPhylum(i.e. for every chordate), there exists a female animal(instance of$FemaleAnimal), which is its mother(described by the predicate$biologicalMother).

У символічній логіці,«∃»(зворотна літера«E» у гротескному шрифті) використовується для позначення квантора існування[2]. Тому, якщо P(a, b, c) є предикатом«a·b= c», а N{\displaystyle\mathbb{N}} є множиною натуральних чисел, то.
In symbolic logic,"∃"(a backwards letter"E" in a sans-serif font) is used to indicate existential quantification.[2] Thus, if P(a, b, c) is the predicate"a·b= c" and N{\displaystyle\mathbb{N}} is the set of natural numbers, then.

Опишіть логіку предикатів та вивчіть її застосування для запитів до SQL Server.
Describe predicate logic and examine its application to querying SQL Server.

Це також можна зробити з використанням предикату:.
Equivalently this can also be done using a predicate:.

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

Ці слова називаються предикатами.
These words are called prepositions.

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

Це також можна зробити з використанням предикату: let $displayed-sequence:= $result Де $end- кінцева послідовність.
Equivalently this can also be done using a predicate: let$displayed-sequence:=$result Where$end is the end sequence.

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

Так, наприклад, якщо теорія визначає поняття відношення, то предикат є просто характеристичної функцією, інакше відомої як індикаторна функція відносини.
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.

Ці комбінатори надзвичайно корисні при перекладі логіки предикатів або лямбда-числення в комбінаторні вирази.
These combinators are extremely useful when translating predicate logic or lambda calculus into combinator expressions.

Так, наприклад, якщо теорія визначає поняття відношення, то предикат є просто характеристичної функцією, інакше відомої як індикаторна функція відносини.
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.

У логіці предикатів, квантор загальності- тип квантора, логічної константи, яка інтерпретується як«для будь-якого» чи«для всіх».
In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as"given any" or"for all".

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

Друге поняття було отримано з роботи в обчисленні предикатів(логіка предикатів, логіка першого порядку) і є помітним в сучасних теоріях синтаксису і граматики.
The second notion was derived from work in predicate calculus(predicate logic, first order logic) and is prominent in modern theories of syntax and grammar.

Запропонував інтерпретацію традиційної логіки в логіці предикатів, показавши, що для цього необхідно постулювати існування щонайменше трьох предметів.
He showed that the whole traditional logic could be embedded into predicate logic, assuming the existence of at least three objects.

Перше поняття відноситься до традиційної граматики, яка має тенденцію розглядати предикат як одну з двох основних частин пропозиції, інша частина є предметом.
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.

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