-
101 предикатный вывод
predicate inference мат.Русско-английский научно-технический словарь Масловского > предикатный вывод
-
102 предикатный символ
predicate symbol мат.Русско-английский научно-технический словарь Масловского > предикатный символ
-
103 сказуемое
predicate логикаРусско-английский научно-технический словарь Масловского > сказуемое
-
104 сохраняющая предикат функция
Русско-английский научно-технический словарь Масловского > сохраняющая предикат функция
-
105 сохраняющий предикат
predicate preserving мат.Русско-английский научно-технический словарь Масловского > сохраняющий предикат
-
106 предикат
predicate матем. -
107 исчисление предикатов
Русско-английский синонимический словарь > исчисление предикатов
-
108 возможности описания свойств отношений
Русско-английский большой базовый словарь > возможности описания свойств отношений
-
109 предикативный узел
узлы, участвующие в обработке данных — participating nodes
Русско-английский большой базовый словарь > предикативный узел
-
110 предикатная переменная
Русско-английский большой базовый словарь > предикатная переменная
-
111 предикатные возможности
преимущество; новая возможность — advanced feature
Русско-английский большой базовый словарь > предикатные возможности
-
112 предикатный узел
Русско-английский большой базовый словарь > предикатный узел
-
113 предикатная переменная
-
114 предикатная переменная
Русско-английский военно-политический словарь > предикатная переменная
-
115 исчисление предикатов
1. functional calculus2. predicate calculus3. predicative calculusРусско-английский большой базовый словарь > исчисление предикатов
-
116 одноместный предикат
monadic predicate, one-place predicate, unary predicate, unitary predicateРусско-английский словарь по электронике > одноместный предикат
-
117 одноместный предикат
monadic predicate, one-place predicate, unary predicate, unitary predicateРусско-английский словарь по радиоэлектронике > одноместный предикат
-
118 исчисление
* * *n. calculus, computation;
исчисление высказываний - propositional calculus;
исчисление предикатов - predicate calculus;
исчисление одноместных предикатов - one-place predicate calculus;
исчисление задач - problem calculus;
чистое исчисление предикатов - pure predicate calculus;
узкое исчисление предикатов - restricted predicate calculus -
119 исчисление
n.calculus, computation -
120 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
См. также в других словарях:
Predicate — Pred i*cate, v. t. [imp. & p. p. {Predicated}; p. pr. & vb. n. {Predicating}.] [L. praedicatus, p. p. of praedicare to cry in public, to proclaim. See {Preach}.] 1. To assert to belong to something; to affirm (one thing of another); as, to… … The Collaborative International Dictionary of English
Predicate — or predication may refer to:*Predicate (mathematics), a relation, or the boolean valued characteristic function or indicator function of a relation *Predicate (logic), a fundamental concept in first order logic **in Bertrand Russell s theory of… … Wikipedia
predicate — [pred′i kāt΄; ] for n. [ & ] adj. [, pred′ikit] vt. predicated, predicating [L praedicatus, pp. of praedicare: see PREACH] 1. Obs. to proclaim; preach; declare; affirm 2. a) to affirm as a quality, attribute, or property of a person or thing … English World dictionary
predicate — pred·i·cate 1 / pre də ˌkāt/ vt cat·ed, cat·ing: to set or ground on something: find a basis for usu. used with on if Mary s claim is predicated simply on John s duty of support W. M. McGovern, Jr. et al. pred·i·cate 2 / pre di kət/ adj: rela … Law dictionary
Predicate — Pred i*cate, n. [L. praedicatum, neut. of praedicatus, p. p. praedicare: cf. F. pr[ e]dicat. See {Predicate}, v. t.] 1. (Logic) That which is affirmed or denied of the subject. In these propositions, Paper is white, Ink is not white, whiteness is … The Collaborative International Dictionary of English
predicate — and predict are distantly related but their meanings are distinct. The primary meaning of predict is ‘to foretell’, whereas the primary use of predicate is followed by on in the meaning ‘to found or base (on a principle or assumption)’: That s a… … Modern English usage
predicate — ► NOUN 1) Grammar the part of a sentence or clause containing a verb and stating something about the subject (e.g. went home in John went home). 2) Logic something which is affirmed or denied concerning an argument of a proposition. ► VERB 1)… … English terms dictionary
Predicate — Pred i*cate, a. [L. praedicatus, p. p.] Predicated. [1913 Webster] … The Collaborative International Dictionary of English
Predicate — Pred i*cate, v. i. To affirm something of another thing; to make an affirmation. Sir M. Hale. [1913 Webster] … The Collaborative International Dictionary of English
predicate — (n.) 1530s, a term in logic, from L. praedicatum that which is said of the subject, properly neut. pp. of praedicare assert, proclaim, declare publicly, from prae forth, before (see PRE (Cf. pre )) + dicare proclaim, from stem of dicere to speak … Etymology dictionary
predicate — vb affirm, declare, profess, *assert, aver, protest, avouch, avow, warrant … New Dictionary of Synonyms