Смотреть больше слов в «Новом большом англо-русском словаре»
[`predɪkɪtˏ `predɪkeɪt]предикат, сказуемоеутверждениеутверждатьосновывать на фактах
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... смотреть
1. [ʹpredıkıt] n1) грам., лог. предикат, сказуемое2) лог. утверждение2. [ʹpredıkıt] aпредикативныйpredicate noun [adjective] - предикативное существите... смотреть
1. {ʹpredıkıt} n 1) грам., лог. предикат, сказуемое 2) лог. утверждение 2. {ʹpredıkıt} a предикативный ~ noun {adjective} - предикативное существи... смотреть
predicate: translationSynonyms and related words:IC analysis, advance, affirm, affirmance, affirmation, allegation, allege, announce, announcement, ann... смотреть
predicate: translationA predicate is any expression that is capable of connecting with one or more singular terms to make a sentence. A predicate expre... смотреть
predicate 1. n [ˊpredɪkət] 1) грам. сказу́емое, предика́т 2) лог. утвержде́ние 2. v [ˊpredɪkeɪt] 1) утвержда́ть (тж. лог.; of, about) 2) осно́вывать ... смотреть
сущ. псих. предикат (в нейролингвистическом программировании: процессное слово — глагол, наречие или прилагательное, — которое человек выбирает для опи... смотреть
1) предикат2) сказуемое3) предикатный4) утверждать– predicate calculus– predicate logic– resolvable predicateone-place predicate calculus — исчисление ... смотреть
1. v1) твердити, стверджувати (of, about)2) амер. ґрунтуватися (upon)2. n1) грам. присудок, предикат2) лог. твердження
1. ['ЈЇў¬Ў°Ў«] сущ. 1) лингв. предикат, сказуемое Gram: Predicate 2) лог. утверждение 2. ['ЈЇў¬Ў°ўЎ«] predicate.wav гл. 1) утверждать тж. лог. (of, about) Syn: affirm, declare 2) амер. основывать (утверждение и т. п.) на фактах (upon) This is predicated upon my confidence in his ability. — Это основывается на моей уверенности в его способностях.... смотреть
predicate: übersetzung predicate v 1. aussagen; 2. behaupten, begründen
1) утверждать, объявлять, делать заявление 2) амер. основывать (утверждение и т.п.) на фактах* * *• /vt/ утверждать• предикат
1) предикат, логическое условие; высказывание || высказывать 2) функция возврата логического условия или значения 3) утверждение || утверждать
1) предикат, логическое условие; высказывание || высказывать 2) функция возврата логического условия или значения 3) утверждение || утверждать
утверждать (тж. лог.; of, about) amer. основывать (утверждение и т. п.) на фактах (upon) gram. сказуемое, предикат logic утверждение
предикат - decidable predicate - primitive one-place predicate - rhetorical predicate - sameness predicate - unsolvable predicate
робити заяву; обґрунтовувати фактами - predicated
Предикаттвердитиствердитистверджувати
предикат функция, возвращающая логическое значение см. тж. logical programming, Prolog
предикат. 1) логическое условие. 2) Функция, возвращающая логическое значение.
робити заяву; обґрунтовувати фактами predicated
предикаттвердити ствердити стверджувати
• Assert • Clause part
v. утверждать, основывать на фактах
n. сказуемое, утверждение
(n) предикат; сказуемое
сказуемое
предикат
предикат
См. predicato 1.
См. predicato 2.
См. predicato nominale.
См. predicato.
predicate calculus: translationThe logical calculus in which the expressions include predicate letters, variables, and quantifiers, names, and operati... смотреть
Числення предикатівпредикатне численнярахунок предикатів
логика исчисление предикатов
исчисление предикатов
исчисление предикатов
числення предикатівпредикатне числення рахунок предикатів
Исчисление предикатов
исчисление предикатов
исчисление предикатов
язык исчисления предикатов
язык исчисления предикатов
аппарат исчисления предикатов
матем. область предикатов
предикатные возможности, возможности описания свойств отношений
предикатные возможности, возможности описания свойств отношений
матем. предикативная форма
матем. предикативная функция
матем. иерархия предикатов
n 1) грам. присудок, предикат; 2) лог. твердження.
v 1) твердити, стверджувати; робити заяву; 2) проповідувати; 3) амер. обґрунтовувати фактами; 4) наводити на думку.
матем. предикатный вывод
матем. предикатная интерпретация
Мова числення предикатів
язык предикатов
язык предикатов
язык предикатов
язык предикатов
мова числення предикатів
матем. предикатная буква
предикатная формула
Логіка предикатів
логика предикатов
логіка предикатів
логика предикатове