proof-of-principle

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

• 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 of Concept — Ein Proof of Concept, auch als Proof of Principle bezeichnet, (zu deutsch: Machbarkeitsnachweis) ist ein Meilenstein, an dem die prinzipielle Durchführbarkeit eines Vorhabens belegt ist. Vielfach ist der positive oder negative… …   Deutsch Wikipedia

• Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… …   Wikipedia

• 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

• principle — principle, axiom, fundamental, law, theorem are comparable when they denote a proposition or other formulation stating a fact or a generalization accepted as true and basic. Principle applies to a generalization that provides a basis for… …   New Dictionary of Synonyms

• Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… …   Wikipedia

• Principle of explosion — The principle of explosion is the law of classical logic and a few other systems (e.g., intuitionistic logic) according to which anything follows from a contradiction i.e., once you have asserted a contradiction, you can infer any proposition, or …   Wikipedia

• Principle of contradiction — In logic, the Principle of contradiction ( principium contradictionis in Latin) is the second of the so called three classic laws of thought. The oldest statement of the law is that contradictory statements cannot both at the same time be true, e …   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 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

• Principle of least privilege — In information security, computer science, and other fields, the principle of least privilege, also known as the principle of minimal privilege or just least privilege, requires that in a particular abstraction layer of a computing environment… …   Wikipedia