- formal equivalence
- мат. формальная эквивалентность
Большой англо-русский и русско-английский словарь. 2001.
formal equivalence
Смотреть что такое "formal equivalence" в других словарях:
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Dynamic and formal equivalence — The term dynamic equivalent is also used in electrics, physics, economics and yoga. In Bible translation dynamic equivalence and formal equivalence are two approaches to translation. The terms are not found in general linguistics or translation… … Wikipedia
Equivalence — or equivalent may refer to: In chemistry: Equivalent (chemistry) Equivalence point Equivalent weight In computing: Turing equivalence (theory of computation) In ethics: Moral equivalence In history: The Equivalent, a sum paid from England to… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… … Wikipedia
equivalence — Ⅰ. equivalent UK US /ɪˈkwɪvələnt/ adjective ► the same in amount, price, size, etc.: »The total consumer electronics market is equivalent to approximately $100 for every person on Earth. equivalent amount/level/price »Under the new scheme,… … Financial and business terms
Optical equivalence theorem — The optical equivalence theorem in quantum optics says that the expectation value of any normally ordered function of creation and annihilation operators, can be found by replacing the operators by their eigenvalues and averaging over the… … Wikipedia
Mass–energy equivalence — E=MC2 redirects here. For other uses, see E=MC2 (disambiguation). 4 meter tall sculpture of Einstein s 1905 E = mc2 formula at the 2006 Walk of Ideas, Berlin, Germany In physics, mass–energy equivalence is the concept that the … Wikipedia
Morita equivalence — In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring theoretic properties. It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958.… … Wikipedia
