PREDICATE


Англо-русский перевод PREDICATE

1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — полностью представимый предикат constructive predicate calculus — конструктивное исчисление предикатов deductive predicate calculus — дедуктивное исчисление предикатов disjunctively definable predicate — дизъюнктивно определимый предикат effectively decidable predicate — эффективно разрешимый предикат extended predicate calculus — расширенное исчисление предикатов general recursive predicate — общерекурсивный предикат higher predicate calculus — исчисление предикатов высших порядков homomorphically stable predicate — гомоморфно устойчивый предикат modal predicate calculus — модальное исчисление предикатов monadic predicate calculus — исчисление одноместных предикатов multiplicatively stable predicate — мультипликативно устойчивый предикат multivalued predicate calculus — многозначное исчисление предикатов numeralwise decidable predicate — нумерически разрешимый предикат numeralwise expressible predicate — нумерически выразимый предикат one-place predicate calculus — исчисление одноместных предикатов positive predicate calculus — позитивное исчисление предикатов positive predicate tautology — позитивная предикатная тавтология positively calculable predicate — позитивно вычислимый предикат predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов с равенством predicate calculus without identity — исчисление предикатов без равенства predicate letter formula — предикатная формула predicate preserving function — сохраняющая предикат функция predicate with free variable — предикат со свободной переменной primitive recursive predicate — примитивно-рекурсивный предикат proper predicate calculus — собственное исчисление предикатов properly recursive predicate — собственно рекурсивный предикат pure predicate calculus — чистое исчисление предикатов recursively enumerable predicate — рекурсивно перечислимый предикат restricted predicate calculus — узкое исчисление предикатов set-theoretic predicate logic — теоретико-множественная логика предикатов several-sorted predicate calculus — исчисление предикатов с переменными нескольких видов singular predicate calculus — сингулярное исчисление предикатов strictly stable predicate — строго устойчивый предикат two-valued predicate calculus — двузначное [классическое] исчисление предикатов unrestricted predicate constant — логика неограниченная предикатная постоянная weakly representable predicate — слабо представимый предикат - algebraic predicate - analytic predicate - arithmetical predicate - atomic predicate - auxiliary predicate - basic predicate - binary predicate - bounded predicate - complement of predicate - complete predicate - computability predicate - decidable predicate - definable predicate - derived predicate - dyadic predicate - elementary predicate - enumerable predicate - equality predicate - exhaustive predicate - expressible predicate - filtered predicate - first-order predicate - formula predicate - generable predicate - higher-order predicate - hyperarithmetical predicate - individual predicate - induction predicate - invariant predicate - irreducible predicate - metamathematical predicate - monadic predicate - multiplace predicate - n-argument predicate - n-ary predicate - n-place predicate - nullary predicate - number-theoretic predicate - numerical predicate - one-place predicate - partial predicate - persistent predicate - polynomial predicate - positive-formula predicate - predicate calculus - predicate domain - predicate form - predicate function - predicate hierarchy - predicate inference - predicate interpretation - predicate letter - predicate logic - predicate of predicates - predicate preserving - predicate programming - predicate symbol - predicate tautology - predicate variable - predicate vertex - prime predicate - primitive predicate - quasirecursive predicate - representable predicate - representing predicate - resolvable predicate - sameness predicate - satisfying predicate - saturable predicate - second-order predicate - semiarithmetical predicate - semicomputable predicate - singular predicate - stable predicate - strong predicate - symmetric predicate - total predicate - triadic predicate - truth predicate - two-place predicate - unary predicate - undecidable predicate - unitary predicate - universal predicate - variable predicate

English-Russian scientific and technological dictionary .      Англо-Русский научно-технический словарь.