Sta znaci na Engleskom ПРЕДИКАТОВ - prevod na Енглеском

• predicate
• predicates

Примери коришћења Предикатов на Руском и њихови преводи на Енглески

Утверждения являются формулами логики предикатов.
Assertions are formulae in predicate logic.

Построение предикатов безопасности для некоторых типов программных дефектов Стр.
Building security predicates for some types of vulnerabilities pp.

Теории чисел, геометрии, логики предикатов и т. п.
Number theory, geometry, predicate logic, etc.

Расположение- получение списка объектов на основе соединения предикатов.
Locate-to retrieve a list of objects based on a conjunction of predicates.

В статье исследовано класс вычисляемых функций и предикатов над конеч- ными графами.
In this paper, we study a class of calculated functions and predicates for finite graphs.

Критерии должны быть описаны в форме предикатов.
The criteria are expressed in the form of predicates.

Например, многозначная логика предикатов считается только изменением логики предикатов.
For instance many-sorted predicate logic is considered a just variation of predicate logic.

Серия MX основана на первой Исчисление предикатов.
The MX series is based on first order predicate calculus.

Она поддерживает логику высказываний и логику предикатов, а также Булеву алгебру и арифметическую логику.
It supports propositional and predicate logic, as well as Boolean algebra and arithmetical logic.

Это только подтверждает, что онтологизм есть гипостазирование предикатов, качеств.
This only underlines the truth that ontologism is a hypostatization of predicates and qualities.

Методы запроса: API- интерфейс Traverser, навигация по графам, квалификация языка предикатов и соответствие шаблону пути.
Query Methods: Traverser and graph navigation API, predicate language qualification, path pattern matching.

Если вы хотите вычислить несколько предикатов, то, для соблюдения синтаксиса, их необходимо заключить в скобки.
If you want to calculate several predicates you have to enclose them in additional parenthesis so as not to break syntax.

Предикатный дуализм( англ. predicate dualism) говорит о несводимости ментальных предикатов к физическим предикатам..
Predicate dualism claims the irreducibility of mental predicates to physical predicates..

Построение предикатов безопасности для некоторых типов программных дефектов Труды Института системного программирования РАН.
Building security predicates for some types of vulnerabilities Proceedings of the Institute for System Programming.

Они формулируются на языке CycL, который основан на исчислении предикатов и имеет схожий с лиспом синтаксис.
These are formulated in the language CycL, which is based on predicate calculus and has a syntax similar to that of the Lisp programming language.

RAZOOM Core оперирует специализированным языком логических предикатов, связанных в RAZOOM GRAF сложной архитектурой лингвистической зависимости.
He operates a specialized language of predicate logic related to complex linguistic RAZOOM GRAF based architecture.

Характер предикатов и атрибутов отражает представление о судьбе в основном как о властной и недоброжелательной по отношению к человеку.
Predicates and attributes that go with the word destiny show that it is an imperious creature, malevolent toward a human being.

Object Constraint Language описывает формальный язык, который может быть использован для определения ограничений модели в терминах логики предикатов.
Another related standard is OCL, which describes a formal language that can be used to define model constraints in terms of predicate logic.

При таком построении предикатов появляется возможность повторного использования части программного кода для однотипных логических задач.
At such construction of predicates there is a possibility to reuse a part of a program code for the same logic problems.

Более того, слова, выделенные жирным шрифтом- это синтаксические единицы, согласующиеся с определением предикатов в исчислении предикатов.
Furthermore, the verbal elements in bold are syntactic units consistent with the understanding of predicates in the tradition of predicate calculus.

Это математическая модель, определенная в терминах логики предикатов и теории множеств, а используемые ею системы используются в системах мэйнфреймов, пк и микрокомпьютеров.
It is a mathematical model defined in terms of predicate logic and set theory, and implementations of it have been used by mainframe, midrange and microcomputer systems.

Другой нерешенный вопрос- имеется ли в гренландском инкорпорация, то есть, является ли процесс создания сложных предикатов с именными корнями деривационным.
Another question is whether the language has noun incorporation, or whether the processes that create complex predicates that include nominal roots are derivational in nature.

Также получены полезные необходимые условия полноты порождающего множественного числа примитивной программной алгебры вычисляемых функций и предикатов над графами.
In addition, we obtain useful necessary conditions for generating completeness of the generating set of the primitive program algebra calculated by functions and predicates for graphs.

Специальные механизмы платформы обеспечивают обмен между базой данных и базой знаний- формирование предикатов на основании реляционных данных и выгрузку полученных решений.
Special mechanisms of the platform imply exchange between database and knowledge base which means generating of predicates, based on relational data, and uploading of solutions obtained.

Математика и логика- дедуктивные системы, в которых вывод из состоятельного аргумента неизбежно следует из исходных условий, учитывающих аксиомы используемой науки: теории чисел, геометрии, логики предикатов и т. п.
Math and logic are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you're using: number theory, geometry, predicate logic, etc.

В Prolog программисты могут непосредственно влиять на процедурные оценки программы с помощью специальных предикатов, таких как cut, это не соответствует в дедуктивных базах данных.
Special predicates: In Prolog, programmers can directly influence the procedural evaluation of the program with special predicates such as the cut, this has no correspondence in deductive databases.

В нем-« листьев солнечная сила»,« пестика паникадило», стебель левкоя- воплощение смирения, корешок- судьбоносное начало, он раскрывает нам многогранность его признаков или, по Филонову,« предикатов», видимых и невидимых.
It-"leaves solar power,""pestle chandelier," the stem Gillyflowers- the embodiment of humility, the root- the fateful beginning, he reveals the diversity of its characters, or at Filonov,"predicate", visible and invisible.

Примерами предикатов являются линейные неравенства( 3 x+ 2 y- z⩾ 4{\ displaystyle 3x+ 2y- z\ geqslant 4}) или равенства, включающие так называемые неинтерпретируемые термы или функциональные символы: f( f( u, v), v) f( u, v){\ displaystyle f( f( u, v), v)= f( u, v)}, где f{\ displaystyle f} это некоторая неопределенная функция от двух аргументов.
Example predicates include linear inequalities(e.g., 3 x+ 2 y- z≥ 4{\displaystyle 3x+2y-z\geq 4}) or equalities involving uninterpreted terms and function symbols e.g., f( f( u, v), v) f( u, v){\displaystyle f(f(u, v), v)=f(u, v)} where f{\displaystyle f} is some unspecified function of two arguments.

Он поддерживает автоматические отступы, подсветку синтаксиса, полную проверку синтаксиса путем вызова парсера SWI- Prolog, предупреждения о singleton переменных и поиск определений предикатов на основе исходного кода в Prolog- базе данных.
It supports proper indentation, syntax highlighting, full syntax checking by calling the SWI-Prolog parser, warning for singleton variables and finding predicate definitions based on the source-information from the Prolog database.

В исследовании рассмотрен формализованный подход к решению некоторого класса логических задач, позволяющих унифицировать используемые в решении процедуры предложений и сократить текстовый код программы за счет применения рекурсий в доказательстве предикатов.
The research considers formalized approach to decide logic problems of some class which allows us to unify offer procedures used in the decision and reduce a text code of the program owing to application of recursions in proving predicates.