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) |
предикат выбора данных | data 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) |