Derivation
Encyclopedia
Derivation may refer to:
- Derivation (abstract algebra)Derivation (abstract algebra)In abstract algebra, a derivation is a function on an algebra which generalizes certain features of the derivative operator. Specifically, given an algebra A over a ring or a field K, a K-derivation is a K-linear map D: A → A that satisfies Leibniz's law: D = b + a.More...
, a function on an algebra which generalizes certain features of the derivative operator - Derivation (linguistics)Derivation (linguistics)In linguistics, derivation is the process of forming a new word on the basis of an existing word, e.g. happi-ness and un-happy from happy, or determination from determine...
- Derivation in differential algebraDifferential algebraIn mathematics, differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with a derivation, which is a unary function that is linear and satisfies the Leibniz product law...
, a unary function satisfying the Leibniz product law - Formal proofFormal proofA formal proof or derivation is a finite sequence of sentences each of which is an axiom or follows from the preceding sentences in the sequence by a rule of inference. The last sentence in the sequence is a theorem of a formal system...
or derivation, a sequence of sentences each of which is an axiom or follows from the preceding sentences in the sequence by a rule of inference - Parse treeParse treeA concrete syntax tree or parse tree or parsing treeis an ordered, rooted tree that represents the syntactic structure of a string according to some formal grammar. In a parse tree, the interior nodes are labeled by non-terminals of the grammar, while the leaf nodes are labeled by terminals of the...
or concrete syntax tree, a tree that represents the syntactic structure of a string according to some formal grammar - The creation of a derived rowDerived rowThe term "partition" is also French for the sheet music of a transcription.In music using the twelve-tone technique, derivation is the construction of a row through segments. A derived row is a tone row whose entirety of twelve tones is constructed from a segment or portion of the whole, the...
, in the twelve-tone musical technique - An after-the-fact justification for an action, in the work of sociologist Vilfredo ParetoVilfredo ParetoVilfredo Federico Damaso Pareto , born Wilfried Fritz Pareto, was an Italian engineer, sociologist, economist, political scientist and philosopher. He made several important contributions to economics, particularly in the study of income distribution and in the analysis of individuals' choices....