PREDICATE CALCULUS

Meaning of PREDICATE CALCULUS in English

noun Date: 1950 the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives

Merriam Webster. Explanatory English dictionary Merriam Webster. Толковый словарь английского языка Мерриам-Уэбстер. 2012

PREDICATE CALCULUS — Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as "all" and "some. …
Английский словарь Британика
PREDICATE CALCULUS — noun Etymology: translation of German prädikatenkalkül : functional calculus
Webster's New International English Dictionary
PREDICATE CALCULUS — Logic. See functional calculus . Also called predicate logic . [ 1945-50 ]
Random House Webster's Unabridged English Dictionary
PREDICATE CALCULUS — Date: 1950 : the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions …
Merriam-Webster's Collegiate English vocabulary
PREDICATE CALCULUS — Function: noun Date: 1950 : the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates …
Merriam Webster Collegiate English Dictionary
PREDICATE CALCULUS — ■ noun the branch of symbolic logic concerned with propositions containing predicates, names, and quantifiers.
Concise Oxford English vocab
PREDICATE CALCULUS — [predicate calculus] n (1950): the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of …
Merriam-Webster English vocab
PREDICATE CALCULUS — also called Logic Of Quantifiers, that part of modern formal or symbolic logic which systematically exhibits the logical relations between …
Britannica English vocabulary
PREDICATE CALCULUS — Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as "all" and "some. …
Britannica Concise Encyclopedia
PREDICATE CALCULUS — predicate logic
FOLDOC Computer English Dictionary
PREDICATE CALCULUS — исчисление предикатов лог. исчисление предикатов
Большой Англо-Русский словарь
PREDICATE CALCULUS — Логика первого порядка
Американский Англо-Русский словарь
PREDICATE CALCULUS — исчисление предикатов
Большой Англо-Русский политехнический словарь
PREDICATE CALCULUS — исчисление предикатов
Большой Англо-Русский политехнический словарь - РУССО
PREDICATE CALCULUS — исчисление предикатов
Англо-Русский научно-технический словарь
PREDICATE CALCULUS — исчисление предикатов
Новый Англо-Русский словарь по биологии
PREDICATE CALCULUS — исчисление предикатов
Новый Англо-Русский биологический словарь
PREDICATE CALCULUS — логика исчисление предикатов
Англо-Русский словарь по компьютерам
PREDICATE CALCULUS — логика исчисление предикатов
Англо-Русский словарь по вычислительной технике и программированию
PREDICATE CALCULUS — исчисление предикатов
Англо-Русский словарь компьютерных терминов
PREDICATE CALCULUS — исчисление предикатов лог. исчисление предикатов
Новый большой Англо-Русский словарь
PREDICATE — v. asserter, afirmar; n. ~
English interlingue dictionary
PREDICATE — I. noun Etymology: Middle English, from Late Latin praedicatum, from neuter of praedicatus Date: 15th century 1. something that is …
Толковый словарь английского языка - Merriam Webster
CALCULUS — I Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Английский словарь Британика
PREDICATE — I. ˈpredə̇kə̇]t, -dēk- sometimes -dəˌkā]; usu ]d.+V noun ( -s ) Etymology: Late Latin praedicatum, from neuter of praedicatus, past …
Webster's New International English Dictionary
CALCULUS — I. ˈkalkyələs, ˈkau̇k- noun ( plural calcu·li -ˌlī, -ē ; also calcu·lus·es -_ləsə̇z) Etymology: Latin, pebble, stone in the bladder …
Webster's New International English Dictionary
PREDICATE — (a.) Predicated.
Английский словарь Webster
PREDICATE — (v. t.) The word or words in a proposition which express what is affirmed of the subject.
Английский словарь Webster
PREDICATE — (v. t.) That which is affirmed or denied of the subject. In these propositions, "Paper is white," "Ink is not …
Английский словарь Webster
PREDICATE — (v. i.) To affirm something of another thing; to make an affirmation.
Английский словарь Webster
PREDICATE — (v. t.) To found; to base.
Английский словарь Webster
PREDICATE — (v. t.) To assert to belong to something; to affirm (one thing of another); as, to predicate whiteness of snow.
Английский словарь Webster
PREDICATE — ( v. t. ) To found; to base.
Webster's Revised Unabridged English Dictionary
PREDICATE — ( v. t. ) To assert to belong to something; to affirm (one thing of another); as, to predicate whiteness …
Webster's Revised Unabridged English Dictionary
PREDICATE — ( v. t. ) The word or words in a proposition which express what is affirmed of the subject.
Webster's Revised Unabridged English Dictionary
PREDICATE — ( v. t. ) That which is affirmed or denied of the subject. In these propositions, "Paper is white," "Ink …
Webster's Revised Unabridged English Dictionary
PREDICATE — — predication , n. — predicational , adj. — predicative /pred"i kay'tiv, -keuh-/ ; Brit. /pri dik"euh tiv/ , adj. …
Random House Webster's Unabridged English Dictionary
CALCULUS — /kal"kyeuh leuhs/ , n. , pl. calculi /-luy'/ , calculuses . 1. Math. a method of calculation, esp. one of …
Random House Webster's Unabridged English Dictionary
PREDICATE — I. ˈpre-di-kət noun Etymology: Middle English, from Late Latin praedicatum, from neuter of praedicatus Date: 15th century 1. a. : …
Merriam-Webster's Collegiate English vocabulary
CALCULUS — noun ( plural cal·cu·li -ˌlī, -ˌlē ; also -lus·es ) Etymology: Latin, stone (used in reckoning) Date: 1666 1. a. …
Merriam-Webster's Collegiate English vocabulary
PREDICATE — adj predicated. 2. predicate ·vt to found; to base. 3. predicate ·vt the word or words in a proposition which …
Webster English vocab
CALCULUS — noun a method of computation; any process of reasoning by the use of symbols; any branch of mathematics that may …
Webster English vocab
PREDICATE — [pred.i.cate] n [ME, fr. LL praedicatum, fr. neut. of praedicatus] (15c) 1 a: something that is affirmed or denied of …
Merriam-Webster English vocab
CALCULUS — [cal.cu.lus] n, pl -li also -lus.es [L, stone (used in reckoning)] (1666) 1 a: a method of computation or calculation …
Merriam-Webster English vocab
CALCULUS — branch of mathematical analysis concerned with the rates of change of continuous functions as their arguments change. Two men are …
Britannica English vocabulary
PREDICATE — I predi|cate verb BrE AmE ˈpred ɪ |keɪt ▷ predi|cated keɪt ɪd -əd AmE keɪt̬ əd ▷ predi|cates keɪts ▷ …
Longman Pronunciation English Dictionary
PREDICATE — noun , verb ■ noun / ˈpredɪkət; NAmE / ( grammar ) a part of a sentence containing a verb …
Oxford Advanced Learner's English Dictionary
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Английский основной разговорный словарь
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Concise Oxford English Dictionary
CALCULUS — n. (pl. calculuses or calculi) 1. Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Oxford English vocab
PREDICATE — The noun is pronounced /predɪkət/. The verb is pronounced /predɪkeɪt/. ( predicated) 1. In some systems of grammar, the predicate …
Collins COBUILD Advanced Learner's English Dictionary
CALCULUS — Calculus is a branch of advanced mathematics which deals with variable quantities. N-UNCOUNT
Collins COBUILD Advanced Learner's English Dictionary
PREDICATE — I. noun EXAMPLES FROM CORPUS ▪ A state of the blocks world is portrayed as an assertion, formed with predicate …
Longman DOCE5 Extras English vocabulary
CALCULUS — noun COLLOCATIONS FROM OTHER ENTRIES differential calculus COLLOCATIONS FROM CORPUS ■ ADJECTIVE differential ▪ The package is designed to solve, …
Longman DOCE5 Extras English vocabulary
PREDICATE — (SENTENCE PART) [noun] [C] [specialized] - (in grammar) the part of a sentence which gives information about the subjectIn the …
Cambridge English vocab
CALCULUS — n. differential calculus fundamental theorem of calculus integral calculus renal calculus predicate calculus propositional calculus
Britannica Concise Encyclopedia
CALCULUS — n. Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Britannica Concise Encyclopedia
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
PREDICATE — predicate.ogg 1. ʹpredıkıt n 1> грам. , лог. предикат, сказуемое 2> лог. утверждение 2. ʹpredıkıt a предикативный predicate noun adjective …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CALCULUS — calculus.ogg _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CALCULUS — 1) исчисление; дифференциальное исчисление; интегральное исчисление 2) вычисление; вычисления • - Boolean calculus - calculus of approximations - calculus of …
Большой Англо-Русский политехнический словарь
CALCULUS — 1) исчисление; дифференциальное исчисление; интегральное исчисление 2) вычисление; вычисления • - Boolean calculus - calculus of approximations - calculus of classes - calculus of enlargement - calculus …
Большой Англо-Русский политехнический словарь - РУССО
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь

Толковый словарь английского языка - Merriam Webster

← PREDICATE PREDICATE NOMINATIVE→