cut rule
Смотреть что такое "cut rule" в других словарях:
Cut-elimination theorem — The cut elimination theorem (or Gentzen s Hauptsatz) is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen 1934 in his landmark paper Investigations in Logical Deduction for the… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
Cut Spelling — is a system of English language spelling reform which reduces redundant letters and makes substitutions to improve correspondence with the spoken word. It was designed by Christopher Upward and was for a time being popularized by the Simplified… … Wikipedia
Cut La Roc — in 2007 Background information Birth name Lee Potter Born January 1972 in Brighton … Wikipedia
Cut detection — is a field of research of computer science. Its subject is the automated detection of cuts in digital video. Use Cut detection is used to split up a film into basic scenes. Therefore, it is of great use in software for post production of videos.… … Wikipedia
cut both ways — or[cut two ways] {v. phr.} To have two effects; cause injury to both sides. * /People who gossip find it cuts both ways./ … Dictionary of American idioms
cut both ways — or[cut two ways] {v. phr.} To have two effects; cause injury to both sides. * /People who gossip find it cuts both ways./ … Dictionary of American idioms
cut someone some slack — To relax a rule or make an allowance, as in allowing someone more time to finish something … The small dictionary of idiomes
Cut (logic programming) — The cut, in Prolog, is a goal, written as !, which always succeeds, but cannot be backtracked past. It is best used to prevent unwanted backtracking, for example, to prevent extra solutions being found by Prolog and avoid additional… … Wikipedia
Rule of Rose — Infobox VG title = Rule of Rose developer = Punchline publisher = Sony Computer Entertainment(JP) Atlus (US) 505 GameStreet (EUR) distributor = Ingram Entertainment (EU) designer = engine = version = released = JPN January 19, 2006 NA September… … Wikipedia
Rule of 72 — In finance, the rule of 72, the rule of 70 and the rule of 69 are methods for estimating an investment s doubling time. The number in the title is divided by the interest percentage per period to get the approximate number of periods needed for… … Wikipedia
