What is the translation of " PREDICATES " in Russian?

• предикаты
• предикатов
• предикатами

Examples of using Predicates in English and their translations into Russian

Key concepts: predicates.
Основные понятия: предикаты.

All predicates have four parameters.
У каждого героя есть четыре основных параметра.

A rule's body consists of calls to predicates, which are called the rule's goals.
Тело правила содержит ссылки на предикаты, которые называются целями правила.

The predicates denoting the regret and remorse in different languages are the subject of the study.
Предметом исследования являются предикаты, обозначающие сожаление и раскаяние в разных языках.

The most important predicates are$isa and$genls.
Наиболее важными предикатами являются$ isa и$ genls.

The ε and minpts parameters are removed from the original algorithm and moved to the predicates.
Параметры ϵ{\ displaystyle\ epsilon} и minPts из алгоритма удаляются и переносятся в логические условия.

Of course, all predicates must be included in the exercise.
Безусловно, в оценку следует включать все предикатные преступления.

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

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

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

I used sensory predicates and key words to tap into his unconscious mind.
Использовал сенсорные предикаты и ключевые слова, чтобы получить доступ к его подсознанию.

Another direction for extending Courcelle's theorem concerns logical formulas that include predicates for counting the size of the test.
Другое направление расширения теоремы Курселя касается логических формул, включающих предикаты для подсчета длины теста.

Represented security predicates were used in method for software defect severity estimation.
Описанные предикаты безопасности использовались в методе оценки критичности программных дефектов.

The Carnegie Mellon-Intel Claytronics Research Project has created two new programming languages: Meld and Locally Distributed Predicates LDP.
Лаборатория клэйтроники Карнеги- Меллона- Интел создала два новых языка программирования: Meld и локально распределенные предикаты ЛРП.

R5RS Scheme provides the predicates input-port? and output-port?
R5RS Scheme предоставляет предикаты input- port? и output- port?

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

In your scripts you can use predicates, defined in n900 specific library.
В своих скриптах вы можете использовать предикаты, описанные в библиотеке для n900.

An SMT instance is a generalization of a Boolean SAT instance in which various sets of variables are replaced by predicates from a variety of underlying theories.
SMT- формула- это обобщение булевой формулы SAT, в которой переменные заменены предикатами из соответствующих теорий.

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

Truth functions may be broken down into logical connectives(such as$and,$or,$not,$implies), quantifiers($forAll,$thereExists, etc.) and predicates.
Функции истинности поддаются разбиению на логические связки( такие как$ and,$ or,$ not,$ implies), кванторы($ forAll,$ thereExists, и т. д.) и предикаты. функций Functions.

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

To get input data, leading to code execution, path and security predicates need to be united, and then the whole system should be solved.
Объединив предикаты пути и безопасности, а затем решив полученную систему уравнений, можно получить набор входных данных, приводящий программу к выполнению кода.

Locally Distributed Predicates or LDP is a distributed, high-level language for programming modular reconfigurable robot systems(MRRs)”.
Локально распределенные предикаты( ЛРП)- это распределенный язык программирования высокого уровня для проектирования систем модульных реконфигурируемых роботов МРР.

Due to limitations of C++ SWI-Prolog interface and simple lack of time, multivalue predicates are not supported inside temporal terms at least now.
В силу особенностей C интерфейса SWI- Prolog и просто отсутствия времени многозначные предикаты внутри темпоральных предикатов не поддерживаются по крайней мере пока.

In his 1943 paper Recursive Predicates and Quantifiers Kleene proposed his"THESIS I": This heuristic fact… led Church to state the following thesis22.
В своей статье 1943 года« Рекурсивные предикаты и квантификаторы» Клин предложил свой« ТЕЗИС I»:" Этот эвристический факт… привел Черча к формулировке следующего тезиса 22.

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.
Другой нерешенный вопрос- имеется ли в гренландском инкорпорация, то есть, является ли процесс создания сложных предикатов с именными корнями деривационным.

Security predicates for pointer overwrite, function pointer overwrite and format string vulnerability, that leads to stack buffer overflow are presented in the paper.
В работе представлены предикаты безопасности для перезаписи указателя, перезаписи указателя на функцию и уязвимости форматной строки, которая приводит к переполнению буфера на стеке.

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.
Также получены полезные необходимые условия полноты порождающего множественного числа примитивной программной алгебры вычисляемых функций и предикатов над графами.

Keywords: visual figurative thinking, sets, predicates, logical expressions, logical conversions, informatics in upper school.
Ключевые слова: наглядно- образное мышление, множества, предикаты, логические выражения, логические преобразования, информатика в старшей школе.

Kowalski was one of the developers of Abductive Logic Programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates.
Ковальский был одним из первых разработчиков абдуктивной логики программирования, где логические программы дополнены ограничениями целостности и с неопределенными, абдуктивними предикатами.