Translation for 'formalization' from English to Russian

formalization

формализация {ж}

• A similar, contributing effect has been identified within corporate rating systems, where gaming the system becomes virulent when formalization is combined with transparency.
• Rule statements are expressed using either alethic modality or deontic modality and require elements of modal logic as formalization.
• In a 2002 letter to the Dutch Secretary of State of Economic Affairs, OPTA stated that the telecom regulator has decided to start working on the formalization of the voluntary code of conduct into legislation.
• Email predates the formalization of client–server architectures in the 1990s.
• Academically, Bar-Natan has made significant contributions to the formalization of Khovanov homology.

• The formalization of an administrative mechanism was of a piece with other measures, indicative of the formalization of a sovereign state, which were implemented on the occasion of Chatrapati Shivaji's coronation: coinage bearing his insignia (the copper "Shivrai" and the gold "hon") were issued, and a new era, the "Rajyabhishek era," was proclaimed on the occasion.
• While some basic ideas of the theory can be traced to Laplace, the formalization started with insurance mathematics, namely ruin theory with Cramér and Lundberg.
• This method is described as "Viewpoints-driven", viewpoints being the formalization of the way these constraints impact the system/SW architecture.
• Recently, research on the formalization of dialectics also attracted scholars by applying formal non-classical logic such as paraconsistent logic.
• The work by Dalla Pozza has found application in the formalization of legal systems, in the formalization of pragmatics as a theory of speech acts, on a peculiar trend in the philosophy of quantum physics (see the works of Claudio Garola) and on some developments in computer science and logic (see the works by Gianluigi Bellin on a pragmatic interpretation of bi-intuitionism and on co-intuitionistic linear logic).

• With this work Thalheim contributed to the formalization and theoretical underpinning of conceptual modeling.
• A rational organization system has two significant parts: (1) specificity of goals and (2) formalization.
• Apart from being identified with Progress, whose formalization is posterior, the figure was initially interpreted as an Effigy of the Republic.
• The QED manifesto represented a subsequent, as yet unsuccessful, effort at formalization of known mathematics.
• Rumfitt's earlier work in logic includes a 'bilateral' formalization of classical logic which avoids problems that have been held to attend its familiar 'unilateral' formalization.

• As the method language begins to approach maturity, mathematical formalization techniques are employed so the emerging language has clear syntax and semantics.
• A formalization of the above informal relationships is given by Fuks duality.
• It is an open question whether a satisfactory formalization of logical counterfactuals exists.
• An updated version appeared: [...] The formalization of the principle by its authors.