INTERDEDUCIBLE FORMULAS

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

дедуктивно равные формулы

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

INTERDEDUCIBLE FORMULAS — дедуктивно равные формулы
Большой Англо-Русский словарь
INTERDEDUCIBLE FORMULAS — дедуктивно равные формулы
Англо-Русский научно-технический словарь
INTERDEDUCIBLE FORMULAS — дедуктивно равные формулы
Англо-Русский словарь по компьютерам
INTERDEDUCIBLE FORMULAS — дедуктивно равные формулы
Англо-Русский словарь компьютерных терминов
INTERDEDUCIBLE FORMULAS — дедуктивно равные формулы
Новый большой Англо-Русский словарь
FORMULAS — plural of formula
Webster's New International English Dictionary
FORMULAS — (pl. ) of Formula
Английский словарь Webster
FORMULAS — ( pl. ) of Formula
Webster's Revised Unabridged English Dictionary
FORMULAS — pl of formula.
Webster English vocab
INTERDEDUCIBLE — 1) равные дедуктивно 2) взаимно выводимый 3) дедуктивно равный ∙ - interdeducible formulas взаимно-выводимый
Большой Англо-Русский словарь
FORMULAS — Формулы
Большой Англо-Русский словарь
FORMULAS — Формулы
Американский Англо-Русский словарь
FORMULAS — Булева формула
Американский Англо-Русский словарь
FORMULAS — Numb3rs
Американский Англо-Русский словарь
INTERDEDUCIBLE — 1) взаимно выводимый 2) дедуктивно равный 3) равные дедуктивно • - interdeducible formulas
Англо-Русский научно-технический словарь
INTERDEDUCIBLE — взаимно-выводимый
Англо-Русский словарь Tiger
INTERDEDUCIBLE — взаимно выводимый
Англо-Русский физический словарь
INTERDEDUCIBLE — 1) равные дедуктивно 2) взаимно выводимый 3) дедуктивно равный ∙ - interdeducible formulas взаимно-выводимый
Новый большой Англо-Русский словарь
FORMULAS — Формулы
Новый большой Англо-Русский словарь
INTERDEDUCIBLE — взаимно-выводимый
Англо-Русский словарь
INFANT FORMULAS, SOY-BASED — USP DI - Infant Formulas (Systemic)
Drug information English vocab
PROPOSITIONAL CALCULUS — As opposed to the predicate calculus , the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic …
Английский словарь Британика
FORMAL SYSTEM — In logic , a formal language together with a deductive apparatus by which some well-formed formulas can be derived from …
Английский словарь Британика
CHEMICAL FORMULA — Expression of the composition or structure of a chemical compound . Formulas for molecule s use chemical symbol s with …
Английский словарь Британика
FORMULARY — I. ˈ ̷ ̷ ̷ ̷ˌlerē, -ri noun ( -es ) Etymology: Middle French formulaire, from formule formula (from Latin formula ) + -aire …
Webster's New International English Dictionary
FORMULARY — /fawr"myeuh ler'ee/ , n. , pl. formularies , adj. n. 1. a collection or system of formulas. 2. a set …
Random House Webster's Unabridged English Dictionary
BEG — beg 1 /beg/ , v. , begged, begging . v.t. 1. to ask for as a gift, as charity, or …
Random House Webster's Unabridged English Dictionary
RELATIVISTIC MASS — in the special theory of relativity, the mass that is assigned to a body in motion. In physical theories prior …
Britannica English vocabulary
LOGIC — the study of propositions and their use in argumentation. The major task of logic is to establish a systematic way …
Britannica English vocabulary
FORMAL SYSTEM — also called logistic system in logic and mathematics, abstract, theoretical organization of terms and implicit relationships that is used as …
Britannica English vocabulary
FORMAL LOGIC — the abstract study of propositions, statements, or assertively used sentences and of deductive arguments. The discipline abstracts from the content …
Britannica English vocabulary
CHEMICAL REACTION
Britannica English vocabulary
CHEMICAL FORMULA — any of several kinds of expressions of the composition or structure of chemical compounds. The forms commonly encountered are empirical, …
Britannica English vocabulary
CANTILLATION — in music, intoned liturgical recitation of scriptural texts, guided by signs originally devised as textual accents, punctuations, and indications of …
Britannica English vocabulary
OCEANIC ARTS
Britannica English vocabulary
BYZANTINE CHANT — monophonic, or unison, liturgical chant of the Greek Orthodox church during the Byzantine Empire (3301453) and down to the 16th …
Britannica English vocabulary
FORMULA — for ‧ mu ‧ la S3 W3 AC /ˈfɔːmjələ, ˈfɔːmjʊlə $ ˈfɔːr-/ BrE AmE noun ( plural formulas or formulae …
Longman Dictionary of Contemporary English
PROPOSITIONAL CALCULUS — Formal system of propositions and their logical relationships. As opposed to the predicate calculus , the propositional calculus employs simple, …
Britannica Concise Encyclopedia
FORMAL SYSTEM — In logic , a formal language together with a deductive apparatus by which some well-formed formulas can be derived from …
Britannica Concise Encyclopedia
DIFFERENTIATION — n. Mathematical process of finding the derivative of a function . Defined abstractly as a process involving limits , in …
Britannica Concise Encyclopedia
CHEMICAL FORMULA — Expression of the composition or structure of a chemical compound . Formulas for molecule s use chemical symbol s with …
Britannica Concise Encyclopedia
FIRST-ORDER LOGIC — < language , logic > The language describing the truth of mathematical formula s. Formulas describe properties of terms and …
FOLDOC Computer English Dictionary
ДЕДУКТИВНО — adv. deductively; дедуктивно равные формулы, interdeducible formulas
Russian-English Dictionary of the Mathematical Sciences
FORMULA — формула; аналитическое выражение - accessing formula - assumption formula - atomic formula - Bayes' formula - compound interest formula - congruous formulas - design formula - duplication formula - …
Англо-Русский словарь по вычислительной технике и программированию
FORMULA — формула; аналитическое выражение - Bayes' formula - accessing formula - assumption formula - compound interest formula - congruous formulas - …
Англо-Русский словарь компьютерных терминов
РАВНЫЕ ДЕДУКТИВНО — interdeducible
Большой Русско-Английский словарь
ДЕДУКТИВНО РАВНЫЙ — interdeducible
Большой Русско-Английский словарь
ДЕДУКТИВНО РАВНЫЕ ФОРМУЛЫ — interdeducible formulas
Большой Русско-Английский словарь
ВЗАИМНО ВЫВОДИМЫЙ — interdeducible
Большой Русско-Английский словарь
ВЗАИМНО-ВЫВОДИМЫЙ — interdeducible
Большой Русско-Английский словарь
ВЗАИМНОВЫВОДИМЫЙ — взаимно-выводимый interdeducible
Русско-Английский словарь Сократ

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

← INTERDATABASE QUERY INTERDEDUCTIVE→