Перевод: со всех языков на все языки

со всех языков на все языки

that+is+some+proof

См. также в других словарях:

  • Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… …   Wikipedia

  • Proof — Proof, n. [OF. prove, proeve, F. preuve, fr. L. proba, fr. probare to prove. See {Prove}.] [1913 Webster] 1. Any effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial. [1913 Webster]… …   The Collaborative International Dictionary of English

  • Proof reader — Proof Proof, n. [OF. prove, proeve, F. preuve, fr. L. proba, fr. probare to prove. See {Prove}.] [1913 Webster] 1. Any effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial. [1913… …   The Collaborative International Dictionary of English

  • proof sheet — Proof Proof, n. [OF. prove, proeve, F. preuve, fr. L. proba, fr. probare to prove. See {Prove}.] [1913 Webster] 1. Any effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial. [1913… …   The Collaborative International Dictionary of English

  • Proof by intimidation — is a jocular term used mainly in mathematics to refer to mathematical proofs which are so complex, so long winded and so poorly presented by the authors that others are simply forced to accept it, lest they be forced to sift through its minute… …   Wikipedia

  • Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… …   Wikipedia

  • Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… …   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

  • Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… …   Wikipedia

  • proof — n [alteration of Middle English preove, from Old French preuve, from Late Latin proba, from Latin probare to prove] 1: the effect of evidence sufficient to persuade a reasonable person that a particular fact exists see also evidence 2: the… …   Law dictionary

  • Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»