formal derivation
Смотреть что такое "formal derivation" в других словарях:
Derivation — may refer to: Derivation (abstract algebra), a function on an algebra which generalizes certain features of the derivative operator Derivation (linguistics) Derivation in differential algebra, a unary function satisfying the Leibniz product law… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
formal — formal1 formalness, n. /fawr meuhl/, adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: to pay one s formal respects. 2. marked by form or ceremony: a formal occasion. 3. designed for wear or use at occasions or … Universalium
Formal grammar — In formal semantics, computer science and linguistics, a formal grammar (also called formation rules) is a precise description of a formal language ndash; that is, of a set of strings over some alphabet. In other words, a grammar describes which… … Wikipedia
Derivation — Als Derivation bezeichnet man in der Linguistik ein Mittel der Wortbildung, siehe Derivation (Linguistik) in der Mathematik Abbildungen, die formal die Produktregel erfüllen, siehe Derivation (Mathematik) in der Logik die Ableitung von Aussagen… … Deutsch Wikipedia
Formal derivative — In mathematics, the formal derivative is an operation on elements of a polynomial ring which mimics the form of the derivative from calculus. Though they appear similar, the algebraic advantage of a formal derivative is that it does not rely on… … Wikipedia
derivation — UK [ˌderɪˈveɪʃ(ə)n] / US noun Word forms derivation : singular derivation plural derivations 1) [countable/uncountable] the origin of something a) [countable/uncountable] the origin of a word b) [countable] a word that comes from another language … English dictionary
derivation — der|i|va|tion [ ,derı veıʃn ] noun 1. ) count or uncount the origin of something a ) count or uncount the origin of a word: ETYMOLOGY b ) count a word that comes from another language: The name of the town is a French derivation. 2. ) uncount… … Usage of the words and phrases in modern English
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
General Formal Ontology — The General Formal Ontology (GFO) is an upper ontology integrating processes and objects. [ Herre, H.; Heller, B.; Burek, P.; Hoehndorf, R.; Loebe, F. Michalek, H.. General Formal Ontology (GFO): A Foundational Ontology Integrating Objects and… … Wikipedia
