Hand proving

Hand proving
Получение корректурного оттиска ручным способом.

Краткий толковый словарь по полиграфии. 2010.

Игры ⚽ Поможем написать реферат

Смотреть что такое "Hand proving" в других словарях:

  • proving press — noun : a small usually hand operated press for pulling printer s proofs …   Useful english dictionary

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • The Mummy's Hand — Infobox Film | name = The Mummy s Hand caption = U.S. Insert Poster director = Christy Cabanne producer = Ben Pivar writer = Griffin Jay Maxwell Shane starring =Dick Foran Peggy Moran Wallace Ford Eduardo Ciannelli music = cinematography = Elwood …   Wikipedia

  • Note of hand — Note Note, n. [F. note, L. nota; akin to noscere, notum, to know. See {Know}.] 1. A mark or token by which a thing may be known; a visible sign; a character; a distinctive mark or feature; a characteristic quality. [1913 Webster] Whosoever… …   The Collaborative International Dictionary of English

  • Iyas Ibn Muawiyah Al-Muzani — (full name, Abû Wâthîlet Iyâs ibn Mu’âwiyet ibn Korrah) was a tabi i Qadi (judge) in the 2nd century AH who lived in Basra (modern day Iraq). He was renowned for possessing a form of cleverness which became a favorite topic in Arabic folk lore.… …   Wikipedia

  • Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… …   Universalium

  • Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… …   Wikipedia

  • Business and Industry Review — ▪ 1999 Introduction Overview        Annual Average Rates of Growth of Manufacturing Output, 1980 97, Table Pattern of Output, 1994 97, Table Index Numbers of Production, Employment, and Productivity in Manufacturing Industries, Table (For Annual… …   Universalium


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

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