ФОРМАЛІЗАЦІЇ in English translation

• formalization
• formalizing
• formalising
• formalisation

Examples of using Формалізації in Ukrainian and their translations into English

Ступінь формалізації буде варіюватися між секторами
The degree of formality will vary between sectors

У статті розглянуто питання формалізації процесу створення геометричних моделей
The paper deals with the formalization of the process of geometric models creation

Незабаром, компанія Nu Skin Enterprises побачила необхідність формалізації своїх філантропічних зусиль, створивши офіційну базу цієї діяльності.
Two years later, Nu Skin Enterprises saw the need to formalize its philanthropic endeavors by creating an official foundation.

Пропонується спосіб формалізації імовірнісних технологічних процесів виробництва на основі побудови імітаційної моделі імовірнісного мережевого графіка;
The method of formalization of probabilistic technological processes of production on the basis of construction of simulation model of the probabilistic network graph;

З позиції нелегального сектора я побачив шість ефектів формалізації власності в західних країнах, які дають змогу громадянам створювати капітал.
The formal property systems of the West produce six effects that allow their citizens to generate capital.

причини створення спеціалізованих систем для вирішення подібних задач при різних типах формалізації критеріїв якості.
reasons for the creation of specialized systems for solving similar problems with different types of formalization of quality criteria.

ступеня формалізації досліджень і складності аналізу.
the degree of formalization of research and the complexity of the analysis.

метод формалізації та інші.
the way of formalization, while others.

метод формалізації, метод аналізу та синтезу.
the method of formalization, analysis and synthesis methods.

Інші використовували HOS для формалізації семантики лінгвістичних квантифікаторів[38] та формалізації дизайну надійних вбудованих систем реального часу[39].
Others have used HOS to formalize the semantics of linguistic quantifiers.[38] and to formalize the design of reliable real-time embedded systems[39].

Використання простого лямбда числення над операторами над типами, призводить до більш ніж просто формалізації конструкторів типів.
Instituting a simply typed lambda calculus over the type operators results in more than just a formalization of type constructors though.

Магістратура з прикладної математики спрямована на забезпечення високого рівня компетенцій для формалізації та наступного математичного аналізу проблем, що виникають з прикладних наук
The MSc in Applied Mathematics aims at providing high-level competencies for the formalization and the consequent mathematical analysis of problems arising from applied sciences

Акт формалізації цього розладу, навіть як пропозиції,
The act of formalizing this disorder, even as a proposal,

До 1922 у Гільберта склався значно більш великий план обгрунтування всієї математики шляхом її повної формалізації з подальшим"метаматематіческім" доказом несуперечності формалізованої математики.
By 1922 Hilbert had devised a much more extensive plan for formulating the basis of mathematics through its complete formalization with the subsequent“metamathematical” proof of the noncontradictibility of the formalized mathematics.

Вже 1980-тих роках компанія Motul була залучена в процес формалізації вимог до якості через національні сертифікати,
For Motul, committed since the 1980s to the process of formalising quality requirements through national certifications such as the British Standard,

обсяг впливу набрала достатньої критичної ваги, щоб почали вимальовуватися контури необхідності певної формалізації поняття в країні, а також шляхів подальшого розвитку.
gained sufficient critical weight in order to push the“necessity to make a framework design” for certain CSR concept formalization in the country, as well as to define ways for further development.

є ранньою спробою формалізації наївної теорії множин Р. Кантора.
is an early attempt at formalizing a naive set theory of G. Cantor.

способів впливу щодо формалізації, регламентації, контролю
methods of impact on formalisation, regulation, control

є ще одним кроком уперед у формалізації дипломатичної участі США в Могадішо»,- зазначається в заяві Держдепартаменту.
is another step forward in formalizing U.S. diplomatic engagement in Mogadishu,” the State Department said in a statement.

вимагає цілком різних методів математичної формалізації, які не є інтуїтивно зрозумілими,
yellow requires entirely different mathematical formalization methods, which are neither intuitive