- verifiable formula
- мат. проверяемая формула;
верифицируемая формула
Большой англо-русский и русско-английский словарь. 2001.
verifiable formula
Смотреть что такое "verifiable formula" в других словарях:
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Glottochronology — refers to methods in historical linguistics used to estimate the time at which languages diverged, based on the assumption that the basic (core) vocabulary of a language changes at a constant average rate. This assumption, originally put forward… … Wikipedia
Wikipedia:Manual of Style — This guideline is a part of the English Wikipedia s Manual of Style. Use common sense in applying it; it will have occasional exceptions. Please ensure that any edits to this page reflect consensus. Shortcuts … Wikipedia
Dates of 2006 — ▪ 2007 January Keeping America competitive requires affordable energy. And here we have a serious problem. America is addicted to oil, which is often imported from unstable parts of the world. U.S. Pres. George W. Bush, in his state of the union… … Universalium
Secret sharing — refers to any method for distributing a secret amongst a group of participants, each of which is allocated a share of the secret. The secret can only be reconstructed when the shares are combined together; individual shares are of no use on their … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Europe, history of — Introduction history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… … Universalium
Fact — For other uses, see Fact (disambiguation). A fact (derived from the Latin Factum, see below) is something that has really occurred or is actually the case. The usual test for a statement of fact is verifiability, that is whether it can be shown… … Wikipedia
Four color theorem — Example of a four colored map A four colori … Wikipedia
Net capital rule — The uniform net capital rule is a rule created by the U.S. Securities and Exchange Commission ( SEC ) in 1975 to regulate directly the ability of broker dealers to meet their financial obligations to customers and other creditors.[1] Broker… … Wikipedia
NP (complexity) — Diagram of complexity classes provided that P ≠ NP. The existence of problems outside both P and NP complete in this case was established by Ladner.[1] In computational complexity theory, NP is one of the most fundamental complexity classes. The… … Wikipedia
