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