PREDICATE CALCULUS

Meaning of PREDICATE CALCULUS in English

predicate logic

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

PREDICATE CALCULUS — noun Date: 1950 the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions …
Толковый словарь английского языка - Merriam Webster
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 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 — …
Англо-Русский научно-технический словарь

FOLDOC Computer English Dictionary

← PREDECESSOR PREDICATE LOGIC→