EQUATIONAL LOGIC

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

матем. эквациональная логика

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

EQUATIONAL LOGIC — < logic > First-order equational logic consists of quantifier -free terms of ordinary first-order logic , with equality as the …
FOLDOC Computer English Dictionary
EQUATIONAL LOGIC — мат. эквациональная логика
Большой Англо-Русский словарь
EQUATIONAL LOGIC — мат. эквациональная логика
Новый большой Англо-Русский словарь
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
EQUATIONAL — adjective Date: 1864 of, using, or involving equation or equations, dividing into two equal parts, ~ly adverb
Толковый словарь английского языка - Merriam Webster
LOGIC — I Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Английский словарь Британика
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
EQUATIONAL — -zhən ə l, -zhnəl also -sh- adjective 1. : of, using, or involving equations 2. a. : dividing into two …
Webster's New International 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
EQUATIONAL — — equationally , adv. /i kway"zheuh nl, -sheuh-/ , adj. 1. of, using, or involving equations. 2. Biol. pertaining to …
Random House Webster's Unabridged English Dictionary
EQUATIONAL — adv. of or involving equations
Толковый словарь английского языка - Редакция bed
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
EQUATIONAL — -ˈkwāsh- adjective Date: 1864 1. : of, using, or involving equation or equations 2. : dividing into two equal parts …
Merriam-Webster's Collegiate English vocabulary
EQUATIONAL — [equa.tion.al] adj (1864) 1: of, using, or involving equation or equations 2: dividing into two equal parts--used esp. of the …
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
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
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
LOGIC — noun COLLOCATIONS FROM OTHER ENTRIES Boolean logic ▪ The program searches for information using Boolean logic . fuzzy logic logic …
Longman DOCE5 Extras English vocabulary
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 — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
EQUATIONAL — эквациональный - equational category - equational class - equational compactness - equational completeness - equational definability - equational equivalence - …
Большой Англо-Русский словарь
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 - …
Большой Англо-Русский политехнический словарь - РУССО
LOGIC — 1) логика 2) логический 3) словный • association of symbolic logic — ассоциация символической логики classical propositional logic — классическая логика высказываний countably complete logic — …
Англо-Русский научно-технический словарь
EQUATIONAL — эквациональный
Англо-Русский научно-технический словарь
LOGIC — logic сущ.логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь Tiger
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь по общей лексике
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 - …
Англо-Русский словарь по машиностроению и автоматизации производства
EQUATIONAL — эквационный
Новый Англо-Русский словарь по биологии
EQUATIONAL — эквационный
Новый Англо-Русский биологический словарь
LOGIC — 1) логика 2) логическая часть, логический узел (ЭВМ) 3) логическая схема; логические схемы, логика • - action logic - adaptive logic - address-comparison logic - address-recognition logic - …
Англо-Русский словарь по вычислительной технике и программированию
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 …
Англо-Русский словарь по телекоммуникациям
LOGIC — логика логические схемы (устройства) см. algorithm logic см. encryption logic см. fuzzy logic см. malicious logic см. non-linear logic см. …
Англо-Русский словарь компьютерной безопасности
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Новый большой Англо-Русский словарь
EQUATIONAL — эквациональный - equational category - equational class - equational compactness - equational completeness - equational definability - equational equivalence - …
Новый большой Англо-Русский словарь
EQUATIONAL VERB — copula (def. 2). [ 1960-65 ]
Random House Webster's Unabridged English Dictionary
SUBSET-EQUATIONAL LANGUAGE — (SEL) A declarative language for set processing by Bharat Jayaraman with subset and equational program clauses; pattern matching over sets …
FOLDOC Computer English Dictionary
EQUATIONALLY — adverb see: equational
Толковый словарь английского языка - Merriam Webster
EQUATIONALLY — adverb see equational
Webster's New International English Dictionary
CASE — I. ˈkās noun ( -s ) Etymology: Middle English cas, from Old French, from Latin casus fall, event, chance, from …
Webster's New International English Dictionary
NOMINAL SENTENCE — noun : an equational sentence
Webster's New International English Dictionary
HOMOTYPIC — | ̷ ̷ ̷ ̷|tipik adjective or homo·typ·i·cal -pə̇kəl 1. : of or relating to a homotype 2. : being the equational division of …
Webster's New International English Dictionary
HOMEOTYPIC — adjective also ho·meo·typical | ̷ ̷ ̷ ̷ ̷ ̷+ Etymology: home- + typic, typical : being or relating to the second or equational meiotic division …
Webster's New International English Dictionary
AMEIOSIS — — ameiotic /ay'muy ot"ik/ , adj. /ay'muy oh"sis/ , n. Cell Biol. aberrant meiosis in which only an equational division …
Random House Webster's Unabridged English Dictionary
EQUATIONALLY — see equational
Merriam-Webster's Collegiate English vocabulary
EQUATION — n. 1 the process of equating or making equal; the state of being equal. 2 Math. a statement that two …
Concise Oxford English Dictionary
EQUATION — n.1 the process of equating or making equal; the state of being equal. 2 Math. a statement that two mathematical …
Oxford English vocab
UNIVERSAL ALGEBRA — < logic > The model theory of first-order equational logic . (1997-02-25)
FOLDOC Computer English Dictionary
SFLV — Unifies logic and functional programming. SASL+LV with unification moved from actual/formal parameter matching to equational clauses. "Static Analysis of Functional …
FOLDOC Computer English Dictionary
SEL — 1. Self-Extensible Language . 2. Subset-Equational Language .
FOLDOC Computer English Dictionary
GOFFIN — < language > A definitional constraint language for declarative parallel programming. Goffin systematically integrates equational constraint s and functions within …
FOLDOC Computer English Dictionary
EPL — 1. Early PL/I . 2. Experimental Programming Language . 3. Eden Programming Language. U Washington. Based on Concurrent Euclid and …
FOLDOC Computer English Dictionary
ELP — 1. English Language Programs. Language for testing avionics equipment, on Varian 620/i. "Multiband Automatic test Equipment - A Computer Controlled …
FOLDOC Computer English Dictionary

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

← EQUATIONAL IMPLICATION EQUATIONAL SYSTEM→