PREDICATE LOGIC

Англо-русский перевод PREDICATE LOGIC

Логика первого порядка

American English-Russian dictionary. Американский Англо-Русский словарь. 2012

PREDICATE LOGIC — < logic > (Or "predicate calculus") An extension of propositional logic with separate symbols for predicates , subjects , and …
FOLDOC Computer English Dictionary
PREDICATE LOGIC — логика предикатове
Большой Англо-Русский словарь
PREDICATE LOGIC — логика предикатов
Англо-Русский научно-технический словарь
PREDICATE LOGIC — логика предикатове
Новый большой Англо-Русский словарь
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
LOGIC — I Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Английский словарь Британика
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
LOGIC — I. ˈläjik, -jēk noun ( -s ) Etymology: Middle English logik, from Middle French logique, from Latin logica, from Greek …
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
LOGIC — — logicless , adj. /loj"ik/ , n. 1. the science that investigates the principles governing correct or reliable inference. 2. …
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
LOGIC — noun Etymology: Middle English logik, from Anglo-French, from Latin logica, from Greek logikē, from feminine of logikos of reason, from …
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
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
LOGIC — the study of propositions and their use in argumentation. The major task of logic is to establish a systematic way …
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
LOGIC — / ˈlɒdʒɪk; NAmE ˈlɑːdʒɪk/ noun 1. [ U ] a way of thinking or explaining sth : I fail to …
Oxford Advanced Learner's English Dictionary
LOGIC — lo ‧ gic /ˈlɒdʒɪk $ ˈlɑː-/ BrE AmE noun [ Word Family: noun : ↑ logic ; adverb : ↑ …
Longman Dictionary of Contemporary English
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Английский основной разговорный словарь
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Concise Oxford English Dictionary
LOGIC — n.1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. 2 …
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
LOGIC — 1. Logic is a method of reasoning that involves a series of statements, each of which must be true if …
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
LOGIC — noun COLLOCATIONS FROM OTHER ENTRIES Boolean logic ▪ The program searches for information using Boolean logic . fuzzy logic logic …
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
LOGIC — n. deontic logic fuzzy logic logic design logic many valued logic philosophy of modal logic
Britannica Concise Encyclopedia
LOGIC — n. Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Britannica Concise Encyclopedia
LOGIC — Synonyms and related words : Aristotelian logic, Boolean algebra, Ramistic logic, admissibility, aesthetics, algebra of classes, algebra of relations, axiology, …
Moby Thesaurus English vocabulary
LOGIC — propositional logic quantifier paradox OR Charme first-order logic complete theory complete inference system complement sound temporal logic inference converse AND …
FOLDOC Computer English Dictionary
LOGIC — 1. < philosophy , mathematics > A branch of philosophy and mathematics that deals with the formal principles, methods and …
FOLDOC Computer English Dictionary
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
PREDICATE — predicate.ogg 1. ʹpredıkıt n 1> грам. , лог. предикат, сказуемое 2> лог. утверждение 2. ʹpredıkıt a предикативный predicate noun adjective …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LOGIC — logic.ogg ʹlɒdʒık n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air …
Большой Англо-Русский политехнический словарь
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air logic - arbitration logic - array logic - …
Большой Англо-Русский политехнический словарь - РУССО
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
LOGIC — 1) логика 2) логический 3) словный • association of symbolic logic — ассоциация символической логики classical propositional logic — классическая логика высказываний countably complete logic — …
Англо-Русский научно-технический словарь
PREDICATE — 1. сущ.1) грам. предикат, сказуемое Gram: Predicate 2) логика утверждение 2. predicate гл.1) утверждать тж. логика ( of, about) Syn:affirm, …
Англо-Русский словарь Tiger
LOGIC — logic сущ.логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь Tiger
PREDICATE — 1. ʹpredıkıt n 1) грам. , лог. предикат, сказуемое 2> лог. утверждение 2. ʹpredıkıt a предикативный predicate noun adjective - …
Большой новый Англо-Русский словарь
PREDICATE — 1. ˈpredɪkɪt сущ. 1) лингв. предикат, сказуемое Gram: Predicate 2) лог. утверждение 2. ˈpredɪkeɪt гл. 1) утверждать тж. лог. ( …
Англо-Русский словарь по общей лексике
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь по общей лексике
PREDICATE — 1. ['ЈЇў¬Ў°Ў«] сущ. 1) лингв. предикат, сказуемое Gram: Predicate 2) лог. утверждение 2. ['ЈЇў¬Ў°ўЎ«] predicate.wav гл. 1) утверждать тж. лог. (of, about) Syn: affirm, declare 2) амер. основывать (утверждение и т. …
Англо-Русский словарь общей лексики
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. clear logic — четкая …
Англо-Русский словарь общей лексики
LOGIC — 1) логика 2) логическая схема, логические схемы 3) логический блок или узел ( ЭВМ ) , логическая часть • - …
Англо-Русский словарь по машиностроению и автоматизации производства 2
LOGIC — 1) логика 2) логическая схема, логические схемы 3) логический блок или узел (ЭВМ), логическая часть • - check surface logic - diode logic - direction logic - …
Англо-Русский словарь по машиностроению и автоматизации производства
PREDICATE — предикат - decidable predicate - primitive one-place predicate - rhetorical predicate - sameness predicate - unsolvable predicate
Англо-Русский словарь по вычислительной технике и программированию
LOGIC — 1) логика 2) логическая часть, логический узел (ЭВМ) 3) логическая схема; логические схемы, логика • - action logic - adaptive logic - address-comparison logic - address-recognition logic - …
Англо-Русский словарь по вычислительной технике и программированию
PREDICATE — предикат - decidable predicate - primitive one-place predicate - rhetorical predicate - sameness predicate - unsolvable predicate
Англо-Русский словарь компьютерных терминов
LOGIC — логика; логическая схема - diode logic - diode-capacitor-transistor logic - diode-transistor logic - emitter-coupled logic - RCT logic - Schottky transistor-transistor logic - Schottky-diode FET logic - transistor-transistor …
Англо-Русский словарь по телекоммуникациям

Американский Англо-Русский словарь

← PREDICATE CALCULUS PREDICTION BY PARTIAL MATCHING→