- consistent substitution
- мат. совместимая подстановка
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Finger substitution — is a playing technique used on many different instruments, ranging from stringed instruments such as the violin and cello to keyboard instruments such as the piano and pipe organ. It involves replacing one finger which is depressing a string or… … Wikipedia
Van Wijngaarden grammar — A Van Wijngaarden grammar (also vW grammar or W grammar) is a two level grammar which provides a technique to define potentially infinite grammars in a finite number of rules. It was invented by Adriaan van Wijngaarden to define rigorously some… … 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
probability theory — Math., Statistics. the theory of analyzing and making statements concerning the probability of the occurrence of uncertain events. Cf. probability (def. 4). [1830 40] * * * Branch of mathematics that deals with analysis of random events.… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
hydrocarbon — hydrocarbonaceous, adj. /huy dreuh kahr beuhn, huy dreuh kahr /, n. any of a class of compounds containing only hydrogen and carbon, as an alkane, methane, CH4, an alkene, ethylene, C2H4, an alkyne, acetylene, C2H2, or an aromatic compound,… … Universalium
Christadelphians — Main article Literature Bible Companion | Elpis Israel | Christendom Astray … Wikipedia
organohalogen compound — Introduction any of a class of organic compounds (organic compound) that contain at least one halogen (halogen element) ( fluorine [F], chlorine [Cl], bromine [Br], or iodine [I]) bonded to carbon. They are subdivided into alkyl, vinylic, aryl,… … Universalium
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
evolution — evolutional, adj. evolutionally, adv. /ev euh looh sheuhn/ or, esp. Brit., /ee veuh /, n. 1. any process of formation or growth; development: the evolution of a language; the evolution of the airplane. 2. a product of such development; something… … Universalium
Computational phylogenetics — is the application of computational algorithms, methods and programs to phylogenetic analyses. The goal is to assemble a phylogenetic tree representing a hypothesis about the evolutionary ancestry of a set of genes, species, or other taxa. For… … Wikipedia