Sign in | English | Terms of Use
DictionaryForumContacts

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

Get short URL