Синонимы

adjective: predicative
verb: affirm, assert, allege, aver, maintain, declare, contend, state, avouch

Примеры

algebraic predicate - алгебраический предикат;
analytic predicate - аналитический предикат;
arithmetical predicate - арифметический предикат;
atomic predicate - атомный предикат;
auxiliary predicate - вспомогательный предикат;
basic predicate - базисный предикат;
binary predicate - двуместный предикат;
bounded predicate - ограниченный предикат;
complement of predicate - дополнение предиката;
complete predicate - полный предикат;
completely defined predicate - полностью определенный предикат;
completely representable predicate - полностью представимый предикат;
computability predicate - предикат вычислимости;
decidable predicate - разрешимый предикат;
definable predicate - определимый предикат;
derived predicate - производный предикат;
disjunctively definable predicate - дизъюнктивно определимый предикат;
dyadic predicate - двуместный предикат;
effectively decidable predicate - эффективно разрешимый предикат;
elementary predicate - элементарный предикат;
enumerable predicate - перечислимый предикат;
equality predicate - предикат равенства;
exhaustive predicate - исчерпывающий предикат;
expressible predicate - выразимый предикат;
filtered predicate - фильтрующийся предикат;
first-order predicate - предикат первого порядка;
formula predicate - формульный предикат;
generable predicate - генерируемый предикат;
general recursive predicate - общерекурсивный предикат;
grass predicates greenness - трава вызывает представление о зеленом цвете;
higher-order predicate - предикат высшего порядка;
homomorphically stable predicate - гомоморфно устойчивый предикат;
hyperarithmetical predicate - гиперарифметический предикат;
individual predicate - индивидный предикат;
induction predicate - индукционный предикат;
invariant predicate - инвариантный предикат;
irreducible predicate - неразложимый предикат;
metamathematical predicate - метаматематический предикат;
monadic predicate - одноместный предикат;
multiplace predicate - многоместный предикат;
multiplicatively stable predicate - мультипликативно устойчивый предикат;
my plan is predicated on the assumption that ... - в своем плане я исхожу из того, что ...;
n-argument predicate - n-местный предикат;
n-ary predicate - n-арный предикат;
n-place predicate - n-местный предикат;
nullary predicate - нуль-арный предикат;
number-theoretic predicate - теоретико-числовой предикат;
numeralwise decidable predicate - нумерически разрешимый предикат;
numeralwise expressible predicate - нумерически выразимый предикат;
numerical predicate - числовой предикат;
one-place predicate - одноместный предикат;
partial predicate - частичный предикат;
persistent predicate - устойчивый предикат;
polynomial predicate - полиномиальный предикат;
positive-formula predicate - позитивно формульный предикат;
positively calculable predicate - позитивно вычислимый предикат;
predicate noun - предикативное существительное, существительное в роли именной части составного сказуемого;
predicate of predicates - предикат предикатов;
prime predicate - простой предикат;
primitive one-place predicate - примитивный [простой] одноместный предикат;
primitive predicate - примитивный предикат;
primitive recursive predicate - примитивно-рекурсивный предикат;
properly recursive predicate - собственно рекурсивный предикат;
quasirecursive predicate - квазирекурсивный предикат;
recursively enumerable predicate - рекурсивно перечислимый предикат;
representable predicate - представимый предикат;
representing predicate - представляющий предикат;
resolvable predicate - отобразимый предикат;
rhetorical predicate - риторический предикат;
sameness predicate - предикат тождественности;
satisfying predicate - выполняющий предикат;
saturable predicate - насыщенный предикат;
second-order predicate - предикат второго порядка;
semiarithmetical predicate - полуарифметический предикат;
semicomputable predicate - полувычислимый предикат;
singular predicate - вырожденный предикат;
stable predicate - устойчивый предикат;
strictly stable predicate - строго устойчивый предикат;
strong predicate - сильный предикат;
symmetric predicate - симметрический предикат;
This is predicated upon my confidence in his ability. - Это основывается на моей уверенности в его способностях.;
total predicate - всюду определенный предикат;
triadic predicate - трехместный предикат;
truth predicate - смысловой предикат;
two-place predicate - двуместный предикат;
unary predicate - унарный предикат;
undecidable predicate - неразрешимый предикат;
unitary predicate - одноместный предикат;
universal predicate - универсальный предикат;
unsolvable predicate - неразрешимый предикат;
variable predicate - переменный предикат;
weakly representable predicate - слабо представимый предикат;