-
1 приводивший доказательства
Русско-английский военно-политический словарь > приводивший доказательства
-
2 приводящий доказательства
Русско-английский военно-политический словарь > приводящий доказательства
-
3 представить доказательства
Русско-английский большой базовый словарь > представить доказательства
-
4 привести доказательства
Русско-английский военно-политический словарь > привести доказательства
-
5 наглядное доказательство
Русско-английский большой базовый словарь > наглядное доказательство
-
6 схема доказательства
Русско-английский большой базовый словарь > схема доказательства
-
7 строгое доказательство
-
8 косвенное доказательство
Русско-английский новый политехнический словарь > косвенное доказательство
-
9 схема доказательства
Русско-английский новый политехнический словарь > схема доказательства
-
10 схема доказательства
Русско-английский военно-политический словарь > схема доказательства
-
11 доказательство
Русско-английский словарь по информационным технологиям > доказательство
-
12 доказательство
1. proof2. evidenceБизнес, юриспруденция. Русско-английский словарь > доказательство
См. также в других словарях:
Prepress proofing — Main article: Prepress A Contract Proof[1] usually serves as an agreement between customer and printer and as a color reference guide for adjusting the press before the final press run.[2] Most contract proofs are a Prepress Proof.[3] The primary … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
Manila Mint — The Manila Mint was a branch of the United States Mint, located in Manila, now the capital city of the Philippines. Originally constructed from 1857 through 1861 under the auspices of the Spanish government, the Casa de Moneda (as it was called… … Wikipedia
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
printmaking — /print may king/, n. the art or technique of making prints, esp. as practiced in engraving, etching, drypoint, woodcut or serigraphy. [1925 30; PRINT + MAKING] * * * Art form consisting of the production of images, usually on paper but… … Universalium
Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity. Computer scientist Manindra Agrawal of the… … Universalium
Relativity priority dispute — Albert Einstein presented the theories of Special Relativity and General Relativity in groundbreaking publications that either contained no formal references to previous literature, or referred only to a small number of his predecessors for… … Wikipedia
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
The Disasters of War — Plate 3: Lo mismo (The same). A man about to cut off the head of a soldier with an axe.[1] … Wikipedia
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia