ru

Предикатный

en

Translation of "предикатный" into English

предикатный
Adjective
raiting
Основная форма
/prʲɪdʲɪˈkatnɨj/
Терминологическое слово; употребляется преимущественно в логике и лингвистике.
Used in linguistics and logic; relating to a predicate.
Предикатный анализ помогает формализовать высказывание.
Predicative analysis helps formalize an utterance.

Definitions

предикатный
Adjective
raiting
Основная форма
/prʲɪdʲɪˈkatnɨj/
Относящийся к предикату, связанный с выражением предиката или с его свойствами.
Предикатный анализ описывает структуру высказывания через логические предикаты.

Idioms and phrases

предикатная логика
Предикатная логика изучается на курсах по информатике.
predicate logic
Predicate logic is studied in computer science courses.
предикатное исчисление
На лекции мы изучали предикатное исчисление первого порядка.
predicate calculus
During the lecture we studied first-order predicate calculus.
предикатная функция
В программе предикатная функция проверяет условие на каждом шаге.
predicate function
In the program, the predicate function checks the condition at each step.
предикатное выражение
Предикатное выражение помогает описать нужное условие более точно.
predicate expression
A predicate expression helps describe the required condition more precisely.
предикатный символ
Каждый предикатный символ имеет определённую область значений.
predicate symbol
Each predicate symbol has a specific set of values.
предикатная переменная
В формуле используется предикатная переменная для обозначения свойства.
predicate variable
The formula uses a predicate variable to denote a property.
предикатный оператор
Предикатный оператор возвращает логическое значение.
predicate operator
A predicate operator returns a Boolean value.
предикатный аргумент
Предикатный аргумент должен соответствовать типу данных.
predicate argument
The predicate argument must match the data type.
предикатная семантика
Предикатная семантика важна при анализе логических формул.
predicate semantics
Predicate semantics is important when analyzing logical formulas.
предикатная модель
Для решения задачи была построена предикатная модель.
predicate model
To solve the problem, a predicate model was constructed.

Related words