proof pattern
Смотреть что такое "proof pattern" в других словарях:
Pattern 1853 Enfield — Rifle Musket 1853 Enfield Rifle Musket Type Rifled Musket Place of origin … Wikipedia
Pattern matching — In computer science, pattern matching is the act of checking some sequence of tokens for the presence of the constituents of some pattern. In contrast to pattern recognition, the match usually has to be exact. The patterns generally have the form … Wikipedia
Proof calculus — In mathematical logic, a proof calculus corresponds to a family of formal systems that use a common style of formal inference for its inference rules. The specific inference rules of a member of such a family characterize the theory of a… … Wikipedia
Pattern coin — A pattern coin is a coin produced for the purpose of evaluating a proposed coin design, but which was not approved for general circulation. They are often off metal strikes, to proof standard or piedforts. Patterns are collected by many coin… … Wikipedia
Radiation pattern — Three dimensional antenna radiation patterns. The radial distance from the origin in any direction represents the strength of radiation emitted in that direction. The top shows the directive pattern of a horn antenna, the bottom shows the… … Wikipedia
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
Widmanstätten pattern — Widmanstätten patterns, called also Thomson structures, are unique figures of long nickel iron crystals, found in the octahedrite iron meteorites and some pallasites. They consist of a fine interleaving of kamacite and taenite bands or ribbons… … Wikipedia
Double Eagle — A Double Eagle is a gold coin of the United States with a denomination of $20. Although the eagle based nomenclature for gold U.S. coinage is often assumed to be a nickname, the eagle, half eagle and quarter eagle were specifically given these… … Wikipedia
Double eagle — For other uses, see Double eagle (disambiguation). For the device in heraldry, see Double headed eagle. The 1875 CC Liberty Head design … Wikipedia
blueprint — Synonyms and related words: Photostat, Xerox, Xerox copy, agenda, alphabet, approach, arrange, arrangement, art, attack, batting order, bill, bill of fare, blow up, blowup, blue, blueprinting, brouillon, budget, calculation, calendar, card, carte … Moby Thesaurus
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
