Що таке PREDICATE LOGIC Українською - Українська переклад

• логіці предикатів
• логіки предикатів
• предикатній логіці
• предикатна логіка

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

Understanding Predicate Logic.
Поняття логіки предиката.

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

Describe T-SQL, sets, and predicate logic.
Опишіть T-SQL, набори і припущення логіки.

First-order predicate logic uses rules of inference to deal with logical quantifiers.
Предикатна логіка першого порядку використовує правила висновування для обходження з логічними кванторами.

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

Frege's great achievement was the development of a system of formalized arithmetic that was based on his predicate logic.
Великою заслугою Фреге з'явилася розробка системи формалізованої арифметики, заснованої на розвиненій їм логіці предикатів.

Describe the use of predicate logic in SQL Server.
Опишіть використання логіки предикатів у SQL Server.

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

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

In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as"there exists","there is at least one", or"for some".
У логіці предикатів, квантифікація існування- тип квантора, логічна константа, яка інтерпретується як«існує»,«є принаймні один» або«для деяких».

Non-classical logics are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic.
Некласичною логікою називається формальна система, що істотно відрізняється від стандартних логічних систем, таких як пропозиційна та предикативна логіка.

The grammar is based on predicate logic, and is capable of expressing complex logical constructs precisely.
Має граматику, що базується на предикатній логіці та може точно виражати складні логічні конструкції;

Non-classical logic is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic.
Некласичною логікою називається формальна система, що істотно відрізняється від стандартних логічних систем, таких як логіка пропозиціональних змінних та логіки предикатів.

Has a grammar that is based on predicate logic, and is capable of expressing complex logical constructs precisely.
Має граматику, що базується на предикатній логіці та може точно виражати складні логічні конструкції;

Non-classical logic is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic.
Некласична логіка(альтернативна логіка)- це назва формальних систем, що суттєво відрізняються від класичної логіки, такої, як логіка числення висловлень та предикатна логіка.

For instance many-sorted predicate logic is considered a just variation of predicate logic.[5].
Наприклад, багатоваріаційну предикативну логіку прийнято вважати за варіацію предикативної логіки.[5].

His system was essentially equivalent to a combinatory logic based upon the combinators B, C, I, K, and S. Schönfinkel was able to show that the system could be reduced to just K and S and outlined a proof that a version of this system had the same power as predicate logic.
Його система була по суті еквівалентна комбінаторній логіці, заснованої на комбінаторах B, C, I, K та S. Шейнфінкелю вдалося показати, що система може бути скорочена лише до K і S, та викласти доказ того, що такий варіант системи так само повний, як і логіка предикатів.

Redirect distinguish|âƒ|Ǝ}}In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as"there exists","there is at least one", or"for some".
У логіці предикатів, квантифікація існування- тип квантора, логічна константа, яка інтерпретується як«існує»,«є принаймні один» або«для деяких».

Since the logical innovations of the 19th century, particularly the formulation of modern predicate logic, Aristotelian logic has fallen out of favor among many analytic philosophers.
З появою логічних інновацій 19-го століття, зокрема, при розробці сучасної логіки предикатів, логіка Аристотеля зазнала немилості у багатьох аналітичних філософів.

First-order logic- also known as predicate logic and first-order predicate calculus- is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
Логіка першого порядку, також відома як числення предикатів першого порядку і логіка предикатів, являє собою набір формальних систем, що використовуються у математиці, філософії, лінгвістики та інформатики.

It is based on combinators which were introduced by Schönfinkel in 1920 with the idea of providing an analogous way to build up functions- and to remove any mention of variables- particularly in predicate logic.[3] A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.
Вона заснована на комбінаторах, які були введені Шейнфінкелем у 1920 році з ідеєю створення аналогічного способу для побудови функцій та видалення будь-яких згадок про змінні, особливо в логіці предикатів.[3] Комбінатор- це функція вищого порядку, яка використовує тільки застосування функції та раніше визначені комбінатори, щоб визначити результат за своїх аргументах.

In the specific cases of propositional logic and predicate logic, the formal languages considered have alphabets that are divided into two sets: the logical symbols(logical constants) and the non-logical symbols.
У конкретних випадках логіки висловлювань і логіки предикатів, формальні мови вважаються абетками, які розділені на дві групи: логічні символи( логічні константи)і нелогічні символи.

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

In the context of predicate logic, many authors define a tautology to be a sentence that can be obtained by taking a tautology of propositional logic and uniformly replacing each propositional variable by a first-order formula(one formula per propositional 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.
Друге поняття було отримано з роботи в обчисленні предикатів(логіка предикатів, логіка першого порядку) і є помітним в сучасних теоріях синтаксису і граматики.

The Montague grammar is based on formal logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models.
Граматика Монтегю заснована на формальній логіці, особливо на логіці предикатів вищих порядків та лямбда численні, і викристовує поняття інтенціональної логіки, за допомогою моделей Кріпке.

First-order logic- also known as first-order predicate calculus and predicate logic- is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
Логіка першого порядку, також відома як числення предикатів першого порядку і логіка предикатів, являє собою набір формальних систем, що використовуються у математиці, філософії, лінгвістики та інформатики.

Another way of eliminating quantified variables is Quine's predicate functor logic.
Іншим способом усунення кількісних змінних є логіка предикативного функтора Квайна.

Several researchers have extended logic programming with higher-order programming features derived from higher-order logic, such as predicate variables.
Деякі дослідники розширюють логічне програмування можливостями програмування вищого порядку успадкованих від логіки вищого порядку[en], таких як предикати-змінні.

In fuzzy logic, predicates are the characteristic functions of a probability distribution.
У нечіткій логіці предикатів є характерними функціями розподілу ймовірностей.