formal substitution

formal substitution
мат. формальная подстановка

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем сделать НИР

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

  • 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

  • Substitution (Logik) — Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden: das Substituendum (lat: „das zu Ersetzende“): der Ausdruck …   Deutsch Wikipedia

  • Substitution of variables — In mathematics, substitution of variables (also called variable substitution or coordinate transformation) refers to the substitution of certain variables with other variables. Though the study of how variable substitutions affect a certain… …   Wikipedia

  • Substitution model — A substitution model describes the process from which a sequence of characters of a fixed size from some alphabet changes into another set of traits. For example, in cladistics, each position in the sequence might correspond to a property of a… …   Wikipedia

  • Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] …   Wikipedia

  • 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 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

  • Formal calculation — In mathematical logic, a formal calculation is sometimes defined as a calculation which is systematic, but without a rigorous justification . This means that we are manipulating the symbols in an expression using a generic substitution, without… …   Wikipedia

  • Integration by substitution — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation Taylor s theorem Related rates …   Wikipedia

  • List of formal language and literal string topics — This is a list of formal language and literal string topics, by Wikipedia page. Contents 1 Formal languages 2 Literal strings 3 Classical cryptography Formal languages Abstract syntax tree …   Wikipedia

  • Lineare Substitution — Die Integration durch Substitution oder Substitutionsregel ist eine wichtige Methode in der Integralrechnung, um Stammfunktionen und Integrale zu berechnen. Durch Einführung einer neuen Integrationsvariablen wird ein Teil des Integranden ersetzt …   Deutsch Wikipedia


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

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