logical derivation
Смотреть что такое "logical derivation" в других словарях:
Logical effort — The method of logical effort, a term coined by Ivan Sutherland and Robert Sproull in 1991, is a straightforward technique used to estimate delay in a CMOS circuit. Used properly, it can aid in selection of gates for a given function (including… … Wikipedia
Logical form (linguistics) — In the field of linguistics, specifically in syntax, logical form (abbreviated LF ), refers to a certain level of mental representation of a linguistic expression, derived from surface structure. LF is the semantic equivalent of phonetic form… … Wikipedia
derivation — Synonyms and related words: IC analysis, acceptance, accidence, acquisition, admission, admittance, adoption, affiliation, affix, affixation, allomorph, ancestry, apparentation, appropriation, assumption, beginning, birth, blood, bloodline,… … Moby Thesaurus
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
nature, philosophy of — Introduction the discipline that investigates substantive issues regarding the actual features of nature as a reality. The discussion here is divided into two parts: the philosophy of physics and the philosophy of biology. In this… … Universalium
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
Theory of Constraints — (TOC) is an overall management philosophy. Dr. Eliyahu M. Goldratt introduced the Theory of constraints in his 1984 book titled The Goal . It is based on the application of scientific principles and logic reasoning to guide human based… … Wikipedia
Exchange value — In political economy and especially Marxian economics, exchange value refers to one of four major attributes of a commodity, i.e., an item or service produced for, and sold on, the market. The other three aspects are use value, value and price.… … Wikipedia
aesthetics — /es thet iks/ or, esp. Brit., /ees /, n. (used with a sing. v.) 1. the branch of philosophy dealing with such notions as the beautiful, the ugly, the sublime, the comic, etc., as applicable to the fine arts, with a view to establishing the… … Universalium
Economic model — A diagram of the IS/LM model In economics, a model is a theoretical construct that represents economic processes by a set of variables and a set of logical and/or quantitative relationships between them. The economic model is a simplified… … Wikipedia
Schopenhauer's criticism of the proofs of the parallel postulate — Arthur Schopenhauer criticized mathematicians attempts to prove Euclid s Parallel Postulate because they try to prove from indirect concepts that which is directly evident from perception. Throughout his writings [ I wanted in this way to stress… … Wikipedia
