| Subject | English | Russian |
| progr. | ad hoc predicate | специальный предикат (Alex_Odeychuk) |
| progr. | ad hoc predicate for array creation | специальный предикат создания массива (Alex_Odeychuk) |
| math. | algebraic predicate | алгебраический предикат |
| gram., logic | amorphous predicate | бесформенное сказуемое |
| Gruzovik, gram. | amorphous predicate | бесформенное сказуемое |
| gen. | amplification of the predicate | распространение сказуемого |
| math. | analytic predicate | аналитический предикат |
| el. | analytical predicate | аналитический предикат |
| progr. | anonymous predicate | анонимный предикат (Alex_Odeychuk) |
| math. | applied predicate calculus | прикладное исчисление предикатов |
| math. | arithmetical predicate | арифметический предикат |
| law | as a predicate for a court order | как основание для вынесения постановления суда (Leonid Dzhepko) |
| law | as a predicate for a court order | как основание для вынесения судебного приказа (Leonid Dzhepko) |
| philolog. | aspective compound verbal predicate | составное видовое глагольное сказуемое (WiseSnake) |
| math. | associated predicates | ассоциированные предикаты |
| ling. | atomic predicate | атомарный предикат |
| ling. | atomic predicate | элементарный предикат |
| math. | atomic predicate | атомный предикат |
| math. | auxiliary predicate | вспомогательный предикат |
| ling. | basic predicate | базовый предикат (Alexander Ptashkin) |
| math. | basic predicate | базисный предикат |
| philos. | be a subject having certain predicates | быть субъектом, имеющим конкретные признаки (jagr6880) |
| philos. | be a subject having certain predicates | быть субъектом, имеющим конкретные признаки (jagr6880) |
| progr. | be passed to the predicate | передаваться в предикат (Alex_Odeychuk) |
| math. | binary predicate | двуместный предикат |
| el. | Boolean predicate | булев предикат |
| el. | Boolean predicate | логический предикат |
| math. | bounded predicate | ограниченный предикат |
| IT | branching predicate | условие ветвления (в логическом программировании Alex_Odeychuk) |
| progr. | brief introduction to predicate calculus | краткое введение в исчисление предикатов (ssn) |
| progr. | built-in object predicate | встроенный метод объекта (русс. перевод в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| progr. | built-in object predicate | встроенный предикат объекта (Alex_Odeychuk) |
| progr. | built-in predicate | встроенный предикат (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | call an imported predicate definition | выполнить вызов импортированного определения предиката (Alex_Odeychuk) |
| progr. | call an inherited predicate definition | выполнить вызов унаследованного определения предиката (Alex_Odeychuk) |
| AI. | call an object's predicate | вызывать предикат объекта (Alex_Odeychuk) |
| AI. | call an object's predicate | вызывать метод объекта (русс. перевод в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| progr. | call object predicates | вызов предикатов объекта (Alex_Odeychuk) |
| progr. | call to a dynamic predicate | вызов динамического предиката (Alex_Odeychuk) |
| progr. | call to a non-suspending predicate | вызов неприостанавливающегося предиката (visual-prolog.com Alex_Odeychuk) |
| progr. | call to the predicate | вызов предиката (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | calls to predicates encapsulated in modules | вызов предикатов, инкапсулированных в модулях (Alex_Odeychuk) |
| ling. | case structure of predicate | падежная структура предиката |
| progr. | category predicate | категорийный предикат (в языке логического параллельного объектно-ориентированного программирования Logtalk Alex_Odeychuk) |
| mech. | choice predicate | предикат выбора |
| AI. | class predicate | предикат класса (статический метод класса в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| AI. | class predicate | метод класса (русс. перевод в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| math. | classical predicate calculus | классическое исчисление предикатов |
| ling. | communicative predicate | коммуникативный предикат |
| gram. | comparative predicate adjective | предикативное прилагательное в сравнительной степени (ssn) |
| progr. | comparison predicate | операция отношения (ssn) |
| progr. | comparison predicate | команда сравнения (ssn) |
| progr. | comparison predicate | предикат сравнения (ssn) |
| progr. | comparison predicate instructions | команды сравнения (ssn) |
| progr. | comparison predicate instructions | команды операций отношения (ssn) |
| progr. | comparison predicate instructions | команды предикатов сравнения (ssn) |
| progr. | comparison predicates | операции отношения (ssn) |
| progr. | comparison predicates | команды сравнения (ssn) |
| progr. | comparison predicates | предикаты сравнения (представляют собой функции, которые сравнивают две величины и возвращают однобитовый результат, равный 1, если проверяемое отношение истинно, и 0, если ложно ssn) |
| progr. | comparison predicates from the carry bit | команды сравнения и бит переноса (заголовок ssn) |
| progr. | compile-time predicate | предикат, обрабатываемый во время компиляции (Alex_Odeychuk) |
| math. | complement of predicate | дополнение предиката |
| ling. | complement predicate | объектный предикатив |
| ling. | complement predicate | предикативное дополнение |
| math. | complete predicate | полный предикат |
| ling. | complete predicate | сложное сказуемое (ssn) |
| math. | completely defined predicate | полностью определённый предикат |
| math. | completely representable predicate | полностью представимый предикат |
| gram. | compound modal verbal predicate | составное глагольное модальное сказуемое (eugeene1979) |
| ling. | compound nominal predicate | составное именное сказуемое |
| progr. | compound predicate | составной предикат (логическое выражение, включающее два или более предикатов, связанных операторами И, ИЛИ или НЕ ssn) |
| gram. | compound predicate | составное сказуемое (Загуглите compound predicate. Катя Харлан) |
| progr. | compound predicates | составные предикаты (ssn) |
| gen. | compound verbal predicate | составное глагольное сказуемое (Masha_HNU) |
| math. | computability predicate | предикат вычислимости |
| tech. | computable predicate | вычислимый предикат |
| progr. | compute the overflow predicate | вычисление предикатов переполнения (ssn) |
| progr. | conditional expressions and predicates | условные выражения и предикаты (ssn) |
| math. | constructive predicate calculus | конструктивное исчисление предикатов |
| progr. | continuation predicate | предикат-продолжение (visual-prolog.com Alex_Odeychuk) |
| progr. | correlated predicates | коррелированные предикаты (два или более предикатов в пути модели называются коррелированными, если значение истинности для одного из них определяет значения истинности для всех остальных предикатов в этом пути ssn) |
| progr. | corresponding predicate | соответствующий предикат (Alex_Odeychuk) |
| progr. | data selector predicate | предикат выбора данных (ssn) |
| math. | decidable predicate | разрешимый предикат |
| math. | deductive predicate calculus | дедуктивное исчисление предикатов |
| math. | definable predicate | определимый предикат |
| math. | derived predicate | производный предикат |
| progr. | deterministic predicate | детерминированный предикат (University of Melbourne, Австралия Alex_Odeychuk) |
| math. | Diophantine predicate | диофантов предикат |
| math. | disjunctively definable predicate | дизъюнктивно определимый предикат |
| gen. | double-predicate | двусказуемый |
| Gruzovik, gram. | double-predicate | двусказуемый |
| math. | dyadic predicate | двуместный предикат |
| progr. | dynamic predicate | динамический предикат (Alex_Odeychuk) |
| math. | effectively decidable predicate | эффективно разрешимый предикат |
| math. | elementary predicate | элементарный предикат |
| ling. | elementary predicate | атомарный предикат |
| math. | enumerable predicate | перечислимый предикат |
| ling. | epistemic predicate | эпистемический предикат |
| math. | equality predicate | предикат равенства |
| progr. | equivalent predicate | эквивалентный предикат (ssn) |
| math. | equivalent predicates | эквивалентные предикаты |
| ling. | evaluative predicate | оценочный предикат |
| comp., MS | event predicate | предикат события (SQL Server 2012 ssn) |
| math. | exhaustive predicate | исчерпывающий предикат |
| progr. | exit/entry predicates | предикаты входа / выхода |
| math. | expressible predicate | выразимый предикат |
| math. | extended predicate calculus | расширенное исчисление предикатов |
| progr. | extensional predicate | экстенсиональный предикат (в языке логического программирования Datalog Alex_Odeychuk) |
| progr. | fail a predicate check | неуспешно выполнять проверку предиката (Alex_Odeychuk) |
| math. | filtered predicate | фильтрующийся предикат |
| comp. | first order predicate calculus | исчисление предикатов первого порядка |
| math. | first-order predicate | предикат первого порядка |
| math. | first-order predicate logic | логика предикатов первого порядка (ssn) |
| math. | formula predicate | формульный предикат |
| comp., MS | full-text predicate | полнотекстовый предикат (Alex_Odeychuk) |
| el. | fuzzy predicate | нечёткий предикат (ssn) |
| math. | generable predicate | генерируемый предикат |
| math. | general recursive predicate | общерекурсивный предикат |
| progr. | generalized predicate | обобщённый предикат (Alex_Odeychuk) |
| progr. | goals, often expressed in a predicate calculus | цели, часто выраженные в терминах исчисления предикатов (ssn) |
| math. | Godel predicate | геделев предикат |
| gen. | grass predicates greenness | трава вызывает представление о зелёном цвете |
| comp., MS | GxP Predicate Rules | предписывающие правила GxP (FDA rulings that are observed within the pharmaceutical industry) |
| math. | higher predicate calculus | исчисление предикатов высших порядков |
| math. | higher-order predicate | предикат высшего порядка |
| progr. | high-level language based on predicate logic | высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk) |
| math. | homomorphically stable predicate | гомоморфно устойчивый предикат |
| math. | Horn predicate | хорновский предикат |
| el. | Horn predicate | предикат Хорна |
| math. | hyperarithmetical predicate | гиперарифметический предикат |
| ling. | hypotactic rhetorical predicates | гипотактические риторические предикаты |
| progr. | imported predicate | импортированный предикат (Alex_Odeychuk) |
| progr. | imported predicate definition | импортированное определение предиката (Alex_Odeychuk) |
| progr. | in a predicate calculus | в терминах исчисления предикатов (ssn) |
| Makarov. | in respect to the Relation of the Predicate to the Subject, Judgments are divided into simple or absolute, and conditional | по критерию же отношения субъекта к предикату все суждения делятся на простые, или абсолютные, и на условные |
| progr. | independent predicates | независимые предикаты (два или более предикатов в пути модели называются независимыми, если их значения истинности (TRUE/FALSE) формируются независимо друг от друга ssn) |
| math. | individual predicate | индивидный предикат |
| math. | induction predicate | индукционный предикат |
| IT | induction predicate | индуктивный предикат |
| progr. | inherited predicate | унаследованный предикат (Alex_Odeychuk) |
| progr. | inherited predicate definition | унаследованное определение предиката (Alex_Odeychuk) |
| progr. | integer predicate expression | целочисленное предикативное выражение (ssn) |
| progr. | integer predicate expression | целочисленное условное выражение (ssn) |
| progr. | integer predicate expressions | целочисленные предикативные выражения (ssn) |
| progr. | integer predicate expressions | целочисленные условные выражения (ssn) |
| progr. | integral predicate | интегральный предикат (habr.com dimock) |
| progr. | intensional predicate | интенциональный предикат (в языке логического программирования Datalog Alex_Odeychuk) |
| math. | invariant predicate | инвариантный предикат |
| progr. | invoke the object predicate | вызвать предикат объекта (метод экземпляра класса (метод интерфейса) в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| math. | irreducible predicate | неразложимый предикат |
| math. | jointly satisfying predicates | совместно выполняющие предикаты |
| gen. | Laying the predicate | то что оставляет возможность для (чего-либо) (требуется корректировка значения; something like providing a foundation for a discussion or establishing a reason for something. sweety4156) |
| progr. | library predicate | библиотечный предикат (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | local predicate | локальный предикат (Alex_Odeychuk) |
| progr. | logic predicate | булев предикат (ssn) |
| progr. | logic predicate | логический предикат (ssn) |
| progr. | logical predicate | логический предикат (предложение или выражение, которое может принимать логическое значение TRUE или FALSE ssn) |
| progr. | loop control predicate | предикат управления циклом (предикат в узле управления циклом, значение которого определяет, будет цикл выполняться или нет ssn) |
| progr. | make a predicate check | приводить к выполнению проверки предиката (Alex_Odeychuk) |
| AI. | may match a private predicate | может быть выполнено сопоставление с приватным предикатом (Alex_Odeychuk) |
| progr. | meta-predicate | метапредикат (в языке логического программирования Logtalk Alex_Odeychuk) |
| progr. | metalogic predicate | металогический предикат (Alex_Odeychuk) |
| math. | metamathematical predicate | метаматематический предикат |
| math. | modal predicate calculus | модальное исчисление предикатов |
| ling. | modal verbal predicate | модальное глагольное сказуемое |
| progr. | modeling compound predicates | моделирование составных предикатов (ssn) |
| math. | monadic predicate | одноместный предикат |
| math. | monadic predicate calculus | исчисление одноместных предикатов |
| progr. | multifile predicate | многофайловый предикат (Alex_Odeychuk) |
| math. | multiplace predicate | многоместный предикат |
| el. | multi-place predicate | многоместный предикат |
| math. | multiplicatively stable predicate | мультипликативно устойчивый предикат |
| progr. | multi-threading built-in predicate | многопоточный встроенный предикат (Alex_Odeychuk) |
| math. | multivalued predicate calculus | многозначное исчисление предикатов |
| math. | n-argument predicate | n-местный предикат |
| math. | n-ary predicate | n-арный предикат |
| mech. | negated predicate | предикат с отрицанием |
| el. | niladic predicate | нульместный предикат |
| ling. | nominal predicate | предикатив (именное сказуемое dj_formalin; Дополню: 1) термин "именное сказуемое" = "простое именное сказуемое" применим к грамматике русского языка (Книга-большая.); в англ. яз. это всегда "составное именное сказуемое" (The book is big.) 2) соотв., различаем предикат (сказуемое) и предикатив (именная часть составного именного сказуемого) в применении к русс.яз. и к англ.языку. OLGA P.) |
| ling. | nominal predicate | именная часть составного именного сказуемого (именное сказуемое dj_formalin) |
| gram. | nominal predicate | именное сказуемое (ssn) |
| gram. | nominal predicate | именной предикат (ssn) |
| automat. | nonarithmetical predicate | неарифметический предикат |
| progr. | non-deterministic predicate | недетерминированный предикат (Alex_Odeychuk) |
| progr. | nonrecursive predicate | нерекурсивный предикат (Alex_Odeychuk) |
| progr. | non-suspending nondeterministic predicate | неприостанавливающийся недетерминированный предикат (visual-prolog.com Alex_Odeychuk) |
| progr. | non-suspending predicate | неприостанавливающийся предикат (обычный, синхронный метод в терминологии языка программирования C#  visual-prolog.com Alex_Odeychuk) |
| math. | n-place predicate | n-местный предикат |
| el. | nth order predicate | предикат n-го порядка |
| math. | nullary predicate | нульарный предикат |
| math. | number-theoretic predicate | теоретико-числовой предикат |
| math. | numeralwise decidable predicate | нумерически разрешимый предикат |
| math. | numeralwise expressible predicate | нумерически выразимый предикат |
| math. | numerical predicate | числовой предикат |
| progr. | object containing the predicate definition | объект, содержащий определение предиката (the ~ Alex_Odeychuk) |
| AI. | object creation predicate | предикат создания объекта (Alex_Odeychuk) |
| progr. | object deletion predicate | предикат удаления объекта (Alex_Odeychuk) |
| AI. | object predicate | предикат объекта (метод интерфейса в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| AI. | object predicate | метод объекта (русс. перевод в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| progr. | object predicate value | объектное предикатное значение (делегат Alex_Odeychuk) |
| progr. | object-oriented predicate | объектно-ориентированный предикат (Alex_Odeychuk) |
| math. | one-place predicate | одноместный предикат |
| math. | one-place predicate calculus | одноместное исчисление предикатов |
| math. | one-place predicate calculus | исчисление одноместных предикатов |
| progr. | order of evaluation when multiple predicates apply | порядок вычисления в случае применения нескольких предикатов (Alex_Odeychuk) |
| progr. | overflow predicate | условие переполнения (ssn) |
| progr. | overflow predicate | предикат переполнения (ssn) |
| progr. | overflow predicates | условия переполнения (ssn) |
| progr. | package of predicates, functors and operators | пакет предикатов, функторов и операторов (Alex_Odeychuk) |
| logic | pair predicate | парный предикат (IF-logic Unbewusst) |
| gram. | part of compound nominal predicate | часть составного именного сказуемого (ssn) |
| math. | partial predicate | частичный предикат |
| AI. | per-predicate lock | блокировка на уровне предиката (Alex_Odeychuk) |
| AI. | per-predicate-set lock | блокировка на уровне группы предикатов (Alex_Odeychuk) |
| math. | persistent predicate | устойчивый предикат |
| math. | polynomial predicate | полиномиальный предикат |
| math. | positive predicate calculus | позитивное исчисление предикатов |
| math. | positive predicate tautology | позитивная предикатная тавтология |
| math. | positive-formula predicate | позитивно формульный предикат |
| math. | positively calculable predicate | позитивно вычислимый предикат |
| Makarov. | predicate about | утверждать |
| Makarov. | predicate adjective | прилагательное в роли именной части составного сказуемого |
| gram. | predicate adjective | прилагательное в предикативной форме (ssn) |
| gen. | predicate adjective | предикативное прилагательное |
| ling. | predicate adjective construction | конструкция с предикативным прилагательным (ssn) |
| ling. | predicate-argument structure | предикатно-аргументная структура |
| logic | predicate calculation | исчисление предикатов |
| IT | predicate calculus | исчисление предикатов : |
| math. | predicate calculus | исчисление предикатов |
| progr. | predicate calculus and proving theorems | исчисление предикатов и доказательство теорем (ssn) |
| automat. | predicate calculus language | язык исчисления предикатов |
| mech. | predicate calculus machinery | аппарат исчисления предикатов |
| progr. | predicate calculus propositions | высказывания в исчислении предикатов (ssn) |
| math. | predicate calculus with generalization | исчисление предикатов с обобщением |
| math. | predicate calculus with identity | исчисление предикатов с равенством |
| math. | predicate calculus without identity | исчисление предикатов без равенства |
| progr. | predicate call | вызов предиката (Alex_Odeychuk) |
| progr. | predicate call graph | граф вызова предикатов (Alex_Odeychuk) |
| progr. | predicate call operation | операция вызова предиката (Alex_Odeychuk) |
| progr. | predicate calling structure | структура вызовов предиката (Alex_Odeychuk) |
| progr. | predicate check | проверка предиката (Alex_Odeychuk) |
| progr. | predicate check failure | неудачная проверка предиката (корпорации AdaCore Alex_Odeychuk) |
| progr. | predicate class | класс предикатов (Alex_Odeychuk) |
| progr. | predicate clause | дизъюнкт предиката (Alex_Odeychuk) |
| comp. | predicate constant | предикатная константа |
| IMF. | predicate crime | первичное преступление |
| law | predicate crime | предикатное преступление (iie.com Tanya Gesse) |
| progr. | predicate declaration | объявление предиката (Alex_Odeychuk) |
| progr. | predicate declared for the receiving object | предикат, объявленный для объекта-получателя (Alex_Odeychuk) |
| product. | predicate device | устройство-образец (julchik) |
| cosmet. | Predicate device | аналог медицинского изделия (estherik) |
| med. | predicate device | утвержденное в США изделие-компаратор (A predicate device (PD) is a medical device that may be legally marketed in the U.S, and used as a point of comparison for new medical devices seeking approval through FDA's 510(k) premarket clearance pathway. amatsyuk) |
| AI. | predicate directive | директива предиката (Alex_Odeychuk) |
| AI. | predicate directive | аннотация к коду метода (русс. перевод в терминологии языков функционально-императивного объектно-ориентированного программирования Alex_Odeychuk) |
| math. | predicate domain | область предикатов |
| progr. | predicate expression | предикативное выражение (ssn) |
| progr. | predicate expression | условное выражение (ssn) |
| progr. | predicate expressions | предикативные выражения (ssn) |
| progr. | predicate expressions | условные выражения (ssn) |
| IT | predicate extension | предикативное расширение |
| IT | predicate features | возможности описания свойств отношений |
| IT | predicate features | предикатные возможности |
| math. | predicate form | предикативная форма |
| el. | predicate formula | предикативная формула |
| progr. | predicate formula | формула логики предикатов (ssn) |
| progr. | predicate formula | формула предикатов (ssn) |
| ling. | predicate frame | рамка сказуемого |
| ling. | predicate frame | предикатная рамка |
| math. | predicate function | предикативная функция |
| math. | predicate hierarchy | иерархия предикатов |
| math. | predicate inference | предикатный вывод |
| math. | predicate interpretation | предикатная интерпретация |
| progr. | predicate interpretation | интерпретация предиката (предикат считается интерпретированным, если он выражен через входные значения. Интерпретация предиката зависит от выбора пути. Это означает, что можно получить эквивалентный предикат, следуя в вычислениях по определенному пути, ведущему к этому предикату. См. Black-box testing: techniques for functional testing of software and systems by Boris Beizer (1995) ssn) |
| IT | predicate language | язык предикатов |
| math. | predicate letter | предикатная буква |
| tech. | predicate letter | пропозиционная буква |
| math. | predicate letter formula | предикатная формула |
| ling. | predicate lifting | подъём предиката |
| progr. | predicate load | загрузка на основе логического условия (ssn) |
| IT | predicate logic | логика предикатов |
| Gruzovik, IT | predicate logic | логика исчисления предикатов |
| progr. | predicate logic | предикатная логика (ssn) |
| automat. | predicate logic language | язык, основанный на логике предикатов (как функций нескольких переменных) |
| IT | predicate logic language | язык программирования, основанный на логике предикатов |
| IT | predicate logic language | язык программирования, основанный на логике предикатов |
| mech. | predicate logic language | язык основанный на логике предикатов |
| Makarov. | predicate logic language | язык, основанный на логике предикатов (как функции нескольких переменных) |
| logic | predicate logic with equality | логика предикатов с равенством (Alex_Odeychuk) |
| IT | predicate logic-based language | язык программирования, основанный на логике предикатов |
| IT | predicate logic-based language | язык программирования, основанный на логике предикатов |
| med. | predicate method | утверждённый метод (т. е. метод и связанная с ним продукция, официально разрешенные к применению и имеющие оборот на рынке (контроль качества и менеджмент рисков) olga don) |
| progr. | predicate mode | режим использования предиката (Alex_Odeychuk) |
| ling. | predicate multiplicity | предикатная множественность (Guilietta) |
| IT | predicate node | предикатный узел (в блок-схеме структурированной программы) |
| IT | predicate node | предикативный узел (в блок-схеме структурированной программы) |
| progr. | predicate node | узел с предикатом (ssn) |
| gram. | predicate nominative | именная часть составного сказуемого (в именительном падеже, в латинском, греческом и др. языках) |
| gen. | predicate nominative | именная часть составного сказуемого (denghu) |
| Makarov. | predicate noun | предикативное существительное |
| Makarov. | predicate noun | существительное в роли именной части составного сказуемого |
| ling. | predicate noun | предикатив (ssn) |
| gen. | predicate noun | предикативное существительное существительное в роли именной части составного сказуемого |
| Makarov. | predicate of | утверждать |
| progr. | predicate of a subtype | предикат подтипа (корпорации AdaCore Alex_Odeychuk) |
| progr. | predicate of arity zero | предикат нулевой арности (Alex_Odeychuk) |
| ling. | predicate of evaluation | оценочный предикат |
| ling. | predicate of evaluation | предикат оценки |
| math. | predicate of predicates | предикат предикатов |
| crim.law. | predicate offence | предикатное преступление (общественно опасное преступное деяние, предшествующее отмыванию денег Alex_Odeychuk) |
| law | predicate offence | основное правонарушение (См., напр., Конвенцию ООН против транснациональной организованной преступности 2000г., ст. 2(h). un.org Leonid Dzhepko) |
| bank. | predicate offence | предикатное преступление |
| gen. | predicate offence | основное правонарушение |
| IMF. | predicate offense | первичное преступление (money laundering) |
| gen. | predicate on | основываться на (Никита Лисовский) |
| Makarov. | predicate on | основывать на фактах (утверждение и т. п.) |
| math. | predicate preserving | сохраняющий предикат |
| math. | predicate preserving function | сохраняющая предикат функция |
| med.appl. | predicate product | изделие, уже присутствующее на рынке, предшественник (согласен с предыдущим оратором – мне тоже попалось в таком значении, хотя употребление термина сомнительно Sluvik) |
| qual.cont. | predicate product | изделие, уже присутствующее имеющее оборот на рынке (Например, при испытаниях нового медицинского изделия его сравнивают с уже существующим, продающимся predicate product со схожими характеристиками. ВНИМАНИЕ! Перевод дан как описательный вариант, так как я не имею медицинской специализации и не могу утверждать, что понятие используется в медицине именно в таком виде. fda.gov Оранжевая) |
| math. | predicate programming | предикатное программирование |
| progr. | predicate programming language | язык предикатного программирования (ssn) |
| ling. | predicate raising | подъём предиката |
| progr. | predicate redefinition | переопределение предиката (Alex_Odeychuk) |
| progr. | predicate register | предикатный регистр (в процессоре Itanium – регистр, логическое (булево) значение которого (1 или 0) определяет, будет исполняться данная команда или нет ssn) |
| progr. | predicate relationship | предикативное отношение (ssn) |
| progr. | predicate resolution | резолюция предикатов (Alex_Odeychuk) |
| progr. | predicate scope | область видимости предиката (Alex_Odeychuk) |
| IT | predicate selectivity | применяемость предиката (характеризующая частоту его использования) |
| progr. | predicate set | множество предикатов (Alex_Odeychuk) |
| mech. | predicate symbol | предикатный символ |
| IT | predicate symbol | предикативный символ |
| math. | predicate tautology | предикатная тавтология |
| psychol. | predicate thinking | предикативное мышление |
| IT | predicate transformer | преобразователь предикатов |
| amer. | predicate upon | основывать на фактах (утверждение и т. п.) |
| progr. | predicate use | использование в предикате (ssn) |
| math. | predicate variable | предикатная переменная |
| ling. | predicate verb | предикатный глагол (ssn) |
| math. | predicate vertex | предикатная вершина |
| media. | predicate vertex | предикатная предикативная вершина (вершина блок-схемы, используемая для представления логического выражения, передающего управление по одной из двух возможных ветвей; узел, из которого логическое управление может быть передано только по одной из ветвей) |
| math. | predicate with free variable | предикат со свободной переменной |
| progr. | predicates, functors and operators | предикаты, функторы и операторы (Alex_Odeychuk) |
| progr. | predicates on data | предикаты над данными (ssn) |
| math. | prime predicate | простой предикат |
| IT | primitive one-place predicate | примитивный одноместный предикат |
| math. | primitive predicate | примитивный предикат |
| math. | primitive recursive predicate | примитивно рекурсивный предикат |
| el. | primitively recursive predicate | примитивно рекурсивный предикат |
| AI. | private predicate | приватный предикат (Alex_Odeychuk) |
| AI. | private predicate | приватный метод (русс. перевод в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| math. | proper predicate calculus | собственное исчисление предикатов |
| math. | properly recursive predicate | собственно рекурсивный предикат |
| ling. | psychological predicate | психологическое сказуемое |
| ling. | psychological predicate | рема |
| ling. | psychological predicate | психологический предикат |
| AI. | public predicate | публичный предикат (Alex_Odeychuk) |
| AI. | public predicate | публичный метод (русс. перевод в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| math. | pure predicate calculus | чистое исчисление предикатов |
| philos. | quantification of the predicate | квантификация предиката |
| math. | quasirecursive predicate | квазирекурсивный предикат |
| math. | recursive predicate | рекурсивный предикат |
| math. | recursively enumerable predicate | рекурсивно перечислимый предикат |
| math. | reducible predicate | разложимый предикат |
| progr. | reflection predicate | рефлексивно-ориентированный предикат (Alex_Odeychuk) |
| progr. | reflection predicate | рефлексивный предикат (Alex_Odeychuk) |
| progr. | reflection predicate | предикат для поддержки рефлексии (Alex_Odeychuk) |
| progr. | reflection predicate | предикат поддержки рефлексии (Alex_Odeychuk) |
| progr. | reflection predicate | предикат, обеспечивающий поддержку рефлексии (Alex_Odeychuk) |
| math. | representable predicate | представимый предикат |
| math. | representing predicate | представляющий предикат |
| math. | resolvable predicate | разрешимый предикат |
| math. | resolvable predicate | отобразимый предикат |
| math. | restricted predicate calculus | узкое исчисление предикатов |
| progr. | reuse of predicates | повторное использование предикатов (Alex_Odeychuk) |
| IT | rhetorical predicate | риторический предикат |
| IT | sameness predicate | предикат тождественности |
| progr. | satisfy the predicates of a subtype | удовлетворять предикатам подтипа (Alex_Odeychuk) |
| math. | satisfying predicate | выполняющий предикат |
| math. | saturable predicate | насыщенный предикат |
| math. | second-order predicate | предикат второго порядка |
| progr. | selector predicate | предикат-переключатель (ssn) |
| progr. | selector predicate | предикат выбора (выражение, которое может принимать более двух значений и служит для выбора одного из нескольких вариантов. Термин "предикат" часто используется для обозначения как логических предикатов, так и предикатов выбора ssn) |
| ling. | semantic predicate | семантический предикат |
| math. | semiarithmetical predicate | полуарифметический предикат |
| math. | semicomputable predicate | полувычислимый предикат |
| progr. | set of predicates | набор предикатов (Alex_Odeychuk) |
| AI. | set of predicates | группа предикатов (Alex_Odeychuk) |
| math. | set predicate logic | теоретико-множественная логика предикатов |
| math. | set-theoretic predicate logic | теоретико-множественная логика предикатов |
| math. | several-sorted predicate calculus | исчисление предикатов с переменными нескольких видов |
| math. | several-sorted predicate calculus | исчисление предикатов с несколькими сортами переменных |
| progr. | simple predicate | простой предикат (ssn) |
| gram. | simple verbal predicate | простое глагольное сказуемое (ssn) |
| math. | singular predicate | вырожденный предикат |
| math. | singular predicate calculus | сингулярное исчисление предикатов |
| progr. | some of the comparison predicates | некоторые операции отношения (ssn) |
| d.b.. | spatial predicate | пространственный предикат (Alex_Odeychuk) |
| math. | stable predicate | устойчивый предикат |
| progr. | static predicate | статический предикат (Alex_Odeychuk) |
| fin. | statistical predicate | статистическое сказуемое |
| math. | strictly stable predicate | строго устойчивый предикат |
| math. | strong predicate | сильный предикат |
| gen. | subject-predicate | субъектно-предикатный |
| ling. | subject predicate division | деление на субъект и предикат (ssn) |
| ling. | subject-predicate relation | субъектно-предикатное отношение |
| ling. | subject-predicate scheme | субъектно-предикатная схема |
| progr. | subtype predicate | предикат подтипа (средство контрактного программирования в языке программирования Ada 2012 Alex_Odeychuk) |
| gram. | superlative predicate adjective | предикативное прилагательное в превосходной степени (ssn) |
| progr. | suspendable nondeterministic predicate | приостанавливаемый недетерминированный предикат (visual-prolog.com Alex_Odeychuk) |
| progr. | suspendable predicate | приостанавливаемый предикат (асинхронный метод в терминологии языка программирования C# visual-prolog.com Alex_Odeychuk) |
| progr. | suspendable predicate | асинхронный предикат (асинхронный метод в терминологии языка программирования C# visual-prolog.com Alex_Odeychuk) |
| progr. | suspending predicate | асинхронный предикат (асинхронный метод в терминологии языка программирования C# visual-prolog.com Alex_Odeychuk) |
| progr. | suspending predicate | приостанавливающийся предикат (асинхронный метод в терминологии языка программирования C# visual-prolog.com Alex_Odeychuk) |
| progr. | suspending predicate | предикат с отложенным выполнением (visual-prolog.com Alex_Odeychuk) |
| math. | symmetric predicate | симметрический предикат |
| progr. | synchronized predicate | синхронизированный предикат (Alex_Odeychuk) |
| progr. | tabled predicate | табулированный предикат (Alex_Odeychuk) |
| progr. | tabled predicate | табулируемый предикат (Alex_Odeychuk) |
| progr. | take a predicate as an argument | принимать предикат в качестве аргумента (корпорации Oracle Alex_Odeychuk) |
| gen. | the predicate agrees with its subject in number and person | сказуемое согласуется в лице и числе с подлежащим |
| Makarov. | the subject and the predicate together form the nucleus of the sentence | подлежащее и сказуемое образуют основу предложения |
| Makarov. | the subject precedes the predicate in a regular sentence | в обычном предложении подлежащее стоит перед сказуемым |
| math. | theoretic predicate | теоретический предикат |
| math. | total predicate | всюду определённый предикат |
| progr. | tree structure of predicates | древесное представление предикатов (ssn) |
| progr. | tree structure of predicates | представление предикатов деревьями (ssn) |
| progr. | tree structure of predicates | древовидная структура предикатов (ssn) |
| math. | triadic predicate | трёхместный предикат |
| math. | truth predicate | смысловой предикат |
| math. | two-place predicate | двуместный предикат |
| math. | two-valued predicate calculus | двузначное исчисление предикатов (классическое) |
| progr. | type predicate | предикат типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| math. | unary predicate | унарный предикат |
| el. | unary predicate | одноместный предикат |
| math. | undecidable predicate | неразрешимый предикат |
| progr. | undefined predicate | неопределённый предикат (Alex_Odeychuk) |
| math. | unitary predicate | одноместный предикат |
| math. | universal predicate | универсальный предикат |
| math., logic | unrestricted predicate constant | неограниченная предикатная постоянная |
| progr. | user-defined predicate | пользовательский предикат (Alex_Odeychuk) |
| math. | variable predicate | переменный предикат |
| gram. | verbal predicate | глагольное сказуемое (ssn) |
| math. | weakly representable predicate | слабо представимый предикат |
| ling. | world-creative predicate | миропорождающий оператор |
| ling. | world-creative predicate | миропорождающий предикат |