- method of member substitution
- метод замены связей
Большой англо-русский и русско-английский словарь. 2001.
method of member substitution
Смотреть что такое "method of member substitution" в других словарях:
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Flexibility method — In structural engineering, the flexibility method is the classical consistent deformation method for computing member forces and displacements in structural systems. Its modern version formulated in terms of the members flexibility matrices also… … Wikipedia
Slope deflection method — The slope deflection method is a structural analysis method for beams and frames introduced in 1915 by George A. Maney.Citation|first=George A.|last=Maney|year=1915|title=Studies in Engineering|publisher=University of… … Wikipedia
Unit dummy force method — The Unit dummy force method provides a convenient means for computing displacements in structural systems. It is applicable for both linear and non linear material behaviours as well as for systems subject to environmental effects, and hence more … Wikipedia
Const-correctness — In computer science, const correctness is the form of program correctness that deals with the proper declaration of objects as mutable or immutable. The term is mostly used in a C or C++ context, and takes its name from the const keyword in those … Wikipedia
Class-based programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computin … Wikipedia
MediaWiki — namespace redirects here. For help regarding the MediaWiki namespace on Wikipedia, see Help:MediaWiki namespace. For general information about Wikipedia namespaces, see Wikipedia:Namespace. Talk page and MediaWiki talk page redirect here. For… … 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
Covariance and contravariance (computer science) — Within the type system of a programming language, covariance and contravariance refers to the ordering of types from narrower to wider and their interchangeability or equivalence in certain situations (such as parameters, generics, and return… … Wikipedia
Cryptanalysis of the Enigma — enabled the western Allies in World War II to read substantial amounts of secret Morse coded radio communications of the Axis powers that had been enciphered using Enigma machines. This yielded military intelligence which, along with that from… … Wikipedia
Indigenous and traditional sports of Singapore — Chinese Hopscotch= Traditional games are a significant part of our cultural heritage. They reflect the ingenuity and resourcefulness of our forefathers in creating their own games by using inexpensive materials for their pastimes and… … Wikipedia
