| English | Russian |
| ad hoc predicate | специальный предикат (Alex_Odeychuk) |
| ad hoc predicate for array creation | специальный предикат создания массива (Alex_Odeychuk) |
| anonymous predicate | анонимный предикат (Alex_Odeychuk) |
| be passed to the predicate | передаваться в предикат (Alex_Odeychuk) |
| brief introduction to predicate calculus | краткое введение в исчисление предикатов (ssn) |
| built-in object predicate | встроенный метод объекта (русс. перевод в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| built-in object predicate | встроенный предикат объекта (Alex_Odeychuk) |
| built-in predicate | встроенный предикат (University of Melbourne, Австралия Alex_Odeychuk) |
| call an imported predicate definition | выполнить вызов импортированного определения предиката (Alex_Odeychuk) |
| call an inherited predicate definition | выполнить вызов унаследованного определения предиката (Alex_Odeychuk) |
| call object predicates | вызов предикатов объекта (Alex_Odeychuk) |
| call to a dynamic predicate | вызов динамического предиката (Alex_Odeychuk) |
| call to the predicate | вызов предиката (University of Melbourne, Австралия Alex_Odeychuk) |
| calls to predicates encapsulated in modules | вызов предикатов, инкапсулированных в модулях (Alex_Odeychuk) |
| category predicate | категорийный предикат (в языке логического параллельного объектно-ориентированного программирования Logtalk Alex_Odeychuk) |
| comparison predicate | операция отношения (ssn) |
| comparison predicate | команда сравнения (ssn) |
| comparison predicate | предикат сравнения (ssn) |
| comparison predicate instructions | команды операций отношения (ssn) |
| comparison predicate instructions | команды сравнения (ssn) |
| comparison predicate instructions | команды предикатов сравнения (ssn) |
| comparison predicates | команды сравнения (ssn) |
| comparison predicates | операции отношения (ssn) |
| comparison predicates | предикаты сравнения (представляют собой функции, которые сравнивают две величины и возвращают однобитовый результат, равный 1, если проверяемое отношение истинно, и 0, если ложно ssn) |
| comparison predicates from the carry bit | команды сравнения и бит переноса (заголовок ssn) |
| compile-time predicate | предикат, обрабатываемый во время компиляции (Alex_Odeychuk) |
| compound predicate | составной предикат (логическое выражение, включающее два или более предикатов, связанных операторами И, ИЛИ или НЕ ssn) |
| compound predicates | составные предикаты (ssn) |
| compute the overflow predicate | вычисление предикатов переполнения (ssn) |
| conditional expressions and predicates | условные выражения и предикаты (ssn) |
| correlated predicates | коррелированные предикаты (два или более предикатов в пути модели называются коррелированными, если значение истинности для одного из них определяет значения истинности для всех остальных предикатов в этом пути ssn) |
| corresponding predicate | соответствующий предикат (Alex_Odeychuk) |
| deterministic predicate | детерминированный предикат (University of Melbourne, Австралия Alex_Odeychuk) |
| dynamic predicate | динамический предикат (Alex_Odeychuk) |
| equivalent predicate | эквивалентный предикат (ssn) |
| exit/entry predicates | предикаты входа / выхода |
| extensional predicate | экстенсиональный предикат (в языке логического программирования Datalog Alex_Odeychuk) |
| fail a predicate check | неуспешно выполнять проверку предиката (Alex_Odeychuk) |
| generalized predicate | обобщённый предикат (Alex_Odeychuk) |
| goals, often expressed in a predicate calculus | цели, часто выраженные в терминах исчисления предикатов (ssn) |
| high-level language based on predicate logic | высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk) |
| imported predicate | импортированный предикат (Alex_Odeychuk) |
| imported predicate definition | импортированное определение предиката (Alex_Odeychuk) |
| in a predicate calculus | в терминах исчисления предикатов (ssn) |
| independent predicates | независимые предикаты (два или более предикатов в пути модели называются независимыми, если их значения истинности (TRUE/FALSE) формируются независимо друг от друга ssn) |
| inherited predicate | унаследованный предикат (Alex_Odeychuk) |
| inherited predicate definition | унаследованное определение предиката (Alex_Odeychuk) |
| integer predicate expression | целочисленное предикативное выражение (ssn) |
| integer predicate expression | целочисленное условное выражение (ssn) |
| integer predicate expressions | целочисленные предикативные выражения (ssn) |
| integer predicate expressions | целочисленные условные выражения (ssn) |
| integral predicate | интегральный предикат (habr.com dimock) |
| intensional predicate | интенциональный предикат (в языке логического программирования Datalog Alex_Odeychuk) |
| invoke the object predicate | вызвать предикат объекта (метод экземпляра класса (метод интерфейса) в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| library predicate | библиотечный предикат (University of Melbourne, Австралия Alex_Odeychuk) |
| local predicate | локальный предикат (Alex_Odeychuk) |
| logic predicate | булев предикат (ssn) |
| logic predicate | логический предикат (ssn) |
| logical predicate | логический предикат (предложение или выражение, которое может принимать логическое значение TRUE или FALSE ssn) |
| loop control predicate | предикат управления циклом (предикат в узле управления циклом, значение которого определяет, будет цикл выполняться или нет ssn) |
| make a predicate check | приводить к выполнению проверки предиката (Alex_Odeychuk) |
| meta-predicate | метапредикат (в языке логического программирования Logtalk Alex_Odeychuk) |
| metalogic predicate | металогический предикат (Alex_Odeychuk) |
| modeling compound predicates | моделирование составных предикатов (ssn) |
| multifile predicate | многофайловый предикат (Alex_Odeychuk) |
| multi-threading built-in predicate | многопоточный встроенный предикат (Alex_Odeychuk) |
| non-deterministic predicate | недетерминированный предикат (Alex_Odeychuk) |
| nonrecursive predicate | нерекурсивный предикат (Alex_Odeychuk) |
| object containing the predicate definition | объект, содержащий определение предиката (the ~ Alex_Odeychuk) |
| object deletion predicate | предикат удаления объекта (Alex_Odeychuk) |
| object predicate value | объектное предикатное значение (делегат Alex_Odeychuk) |
| object-oriented predicate | объектно-ориентированный предикат (Alex_Odeychuk) |
| order of evaluation when multiple predicates apply | порядок вычисления в случае применения нескольких предикатов (Alex_Odeychuk) |
| overflow predicate | условие переполнения (ssn) |
| overflow predicate | предикат переполнения (ssn) |
| overflow predicates | условия переполнения (ssn) |
| package of predicates, functors and operators | пакет предикатов, функторов и операторов (Alex_Odeychuk) |
| predicate calculus and proving theorems | исчисление предикатов и доказательство теорем (ssn) |
| predicate calculus propositions | высказывания в исчислении предикатов (ssn) |
| predicate call | вызов предиката (Alex_Odeychuk) |
| predicate call graph | граф вызова предикатов (Alex_Odeychuk) |
| predicate call operation | операция вызова предиката (Alex_Odeychuk) |
| predicate calling structure | структура вызовов предиката (Alex_Odeychuk) |
| predicate check | проверка предиката (Alex_Odeychuk) |
| predicate check failure | неудачная проверка предиката (корпорации AdaCore Alex_Odeychuk) |
| predicate class | класс предикатов (Alex_Odeychuk) |
| predicate clause | дизъюнкт предиката (Alex_Odeychuk) |
| predicate declaration | объявление предиката (Alex_Odeychuk) |
| predicate declared for the receiving object | предикат, объявленный для объекта-получателя (Alex_Odeychuk) |
| predicate expression | предикативное выражение (ssn) |
| predicate expression | условное выражение (ssn) |
| predicate expressions | предикативные выражения (ssn) |
| predicate expressions | условные выражения (ssn) |
| predicate formula | формула логики предикатов (ssn) |
| predicate formula | формула предикатов (ssn) |
| predicate interpretation | интерпретация предиката (предикат считается интерпретированным, если он выражен через входные значения. Интерпретация предиката зависит от выбора пути. Это означает, что можно получить эквивалентный предикат, следуя в вычислениях по определенному пути, ведущему к этому предикату. См. Black-box testing: techniques for functional testing of software and systems by Boris Beizer (1995) ssn) |
| predicate load | загрузка на основе логического условия (ssn) |
| predicate logic | предикатная логика (ssn) |
| predicate mode | режим использования предиката (Alex_Odeychuk) |
| predicate node | узел с предикатом (ssn) |
| predicate of a subtype | предикат подтипа (корпорации AdaCore Alex_Odeychuk) |
| predicate of arity zero | предикат нулевой арности (Alex_Odeychuk) |
| predicate programming language | язык предикатного программирования (ssn) |
| predicate redefinition | переопределение предиката (Alex_Odeychuk) |
| predicate register | предикатный регистр (в процессоре Itanium – регистр, логическое (булево) значение которого (1 или 0) определяет, будет исполняться данная команда или нет ssn) |
| predicate relationship | предикативное отношение (ssn) |
| predicate resolution | резолюция предикатов (Alex_Odeychuk) |
| predicate scope | область видимости предиката (Alex_Odeychuk) |
| predicate set | множество предикатов (Alex_Odeychuk) |
| predicate use | использование в предикате (ssn) |
| predicates, functors and operators | предикаты, функторы и операторы (Alex_Odeychuk) |
| predicates on data | предикаты над данными (ssn) |
| reflection predicate | предикат поддержки рефлексии (Alex_Odeychuk) |
| reflection predicate | рефлексивно-ориентированный предикат (Alex_Odeychuk) |
| reflection predicate | предикат для поддержки рефлексии (Alex_Odeychuk) |
| reflection predicate | рефлексивный предикат (Alex_Odeychuk) |
| reflection predicate | предикат, обеспечивающий поддержку рефлексии (Alex_Odeychuk) |
| reuse of predicates | повторное использование предикатов (Alex_Odeychuk) |
| satisfy the predicates of a subtype | удовлетворять предикатам подтипа (Alex_Odeychuk) |
| selector predicate | предикат-переключатель (ssn) |
| selector predicate | предикат выбора (выражение, которое может принимать более двух значений и служит для выбора одного из нескольких вариантов. Термин "предикат" часто используется для обозначения как логических предикатов, так и предикатов выбора ssn) |
| set of predicates | набор предикатов (Alex_Odeychuk) |
| simple predicate | простой предикат (ssn) |
| some of the comparison predicates | некоторые операции отношения (ssn) |
| static predicate | статический предикат (Alex_Odeychuk) |
| subtype predicate | предикат подтипа (средство контрактного программирования в языке программирования Ada 2012 Alex_Odeychuk) |
| synchronized predicate | синхронизированный предикат (Alex_Odeychuk) |
| tabled predicate | табулированный предикат (Alex_Odeychuk) |
| tabled predicate | табулируемый предикат (Alex_Odeychuk) |
| take a predicate as an argument | принимать предикат в качестве аргумента (корпорации Oracle Alex_Odeychuk) |
| tree structure of predicates | древесное представление предикатов (ssn) |
| tree structure of predicates | представление предикатов деревьями (ssn) |
| tree structure of predicates | древовидная структура предикатов (ssn) |
| type predicate | предикат типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| undefined predicate | неопределённый предикат (Alex_Odeychuk) |
| user-defined predicate | пользовательский предикат (Alex_Odeychuk) |
