Що таке ФОРМАЛІЗАЦІЇ Англійською - Англійська переклад

• formalization
• formalizing
• formalising
• formalisation

Приклади вживання Формалізації Українська мовою та їх переклад на Англійською

Але насправді створення меседжів цілком піддається формалізації.
But actually the creation of messages can well be formalized.

Але попереду ще певний процес формалізації цього компромісу.
But there is still a certain process of formalizing this compromise.

Головний інтерес Мар'яни- структурна лінгвістика як метод формалізації природної мови.
Mariana's main interest is structural linguistics as a method of formalizing the natural language.

Syntactic Цей рівень стосується формалізації схеми спільного моделювання.
Syntactic The level concerns the formalization of the co-simulation framework.

Слід зауважити, що в будь-якому своєму порядку страхувальник може модифікувати бенефіціарів навіть після формалізації політики.
It should be noted that in any of its modalities, the policyholder may modify the beneficiaries even after the formalization of the policy.

У статті запропоновано метод формалізаціїбізнес-процесів управляючихweb-порталів.
The method of formalization business processes of managing web-portals proposes in this article.

Вживання ідеї формалізації доказів буває зазвичай пов'язано з виділенням логічній частині даної дедуктивної теорії.
The use of formalization of proofs is usually associated with the separate study of the logical part of the deductive theory under consideration.

Розглядаються особливості формалізації імовірнісних технологічних процесiв виробництва.
Particularities of formalization of probabilistic technological processes of manufacture are considered.

Щодо формалізації задач розподілу зусиль та вогневого ураження для математичної моделі бою(операції) угруповання різнорідних військ(сил).
On the formalization of tasks distribution of efforts and weapons for a mathematical model of a fight(operations) groups of heterogeneous troops(forces).

Нові інституції і нові способи формалізації відносин цих інституцій сталі можливі завдяки цифровій революції.
New institutions, and new ways to formalize the relationships that make up these institutions, are now made possible by the digital revolution.

Уряд повинен бути партнером у цих зусиллях, проте його дії створили нові бар'єри для формалізації та підірвали права працівників формального сектора.
The government must be a partner in this effort, yet its measures have created new barriers to formalisation and eroded the rights of formal sector workers.

У м'якій ніші ще менше визначеності та умов для формалізації, ніж у більш матеріальних, структурованих або відчутних сферах.
In a soft niche there is even less certainty and conditions for formalization than in more material, structured or tangible spheres.

У 1865 році ЧТБ зробила крок до формалізації торгівлі зерном за допомогою розробки стандартних, типових угод, названих ф'ючерсними контрактами.
In 1865 the Chicago Board of Trade took steps to formalize grain trading by developing standardized agreements called futures contracts.

Логіка першого порядку є стандартом для формалізації математики в аксіомах і вивчається в основи математики.
First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics.

Його особливістю є«бажання підсилити і розширити ринок через зростання чисельності, частоти, повторюваності і формалізації транзакцій.
A general characteristic of neoliberalism is the desire to intensify and expand the market, by increasing the number, frequency, repeatability, and formalisation of transactions.

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

Перевага формалізації полягає в тому, що над формулами штучних мов можна виробляти логічні операції, отримувати з них нові формули і співвідношення;
The advantage of formalization is that it is possible to perform logical operations on formulas of artificial languages, to obtain new formulas and relations from them;

Така політика насамперед може полягати у сприянні формалізації діяльності українських онлайн-працівників та легалізації їхніх доходів з платформ.
Such policy can first and foremost aim at facilitating formalization of the activity of Ukrainian online workers, and legalizing their incomes from the platforms.

Шляхом формалізації згоди працівника на перерахування заробітної плати відповідно до обмінного курсу, встановленого на день нарахування/виплати заробітної плати(ризиковий варіант).
By formalizing employee's consent regarding the conversion of salary according to the exchange rate set for the accrued/payment date(the least safe variant).

Причина цього- відсутність формалізації процесів і недостатнє розуміння того, що робити, якщо дія зачіпає декілька підрозділів.
The reason behind this is the lack of formalization of processes, as well as lack of understanding of what to do if an action affects several departments.

Ця історична подія відбиває прогрес Сомалі за останні роки і є ще одним кроком уперед у формалізації дипломатичної участі США в Могадішо»,- зазначається в заяві Держдепартаменту.
This historic event reflects Somalia's progress in recent years and is another step forward in formalizing U.S. diplomatic engagement in Mogadishu,” the statement read.

Коучинг студентів у визначенні та формалізації надійного професійного проекту на засідання свої сподівання і потреби Лівану і міжнародної бізнес-спільноти.
Coaching students in the definition and formalization of a credible professional project meeting their aspirations and needs of Lebanese and international business community.

Виходячи з системного аналізу розглянутих понять запропоновано авторське тлумачення зазначеного терміна на основі формалізації етапів процесу фінансового забезпечення.
Proceeding from the systems analysis of the concepts considered, the authors' interpretation of this concept, based on formalization of the stages of the financial security process, is proposed.

Також, після визначення цільової аудиторії хостинг-ОС і формалізації нецінових параметрів, можна здійснити пошук множини оптимальних характеристик продукту.
Also, having identified the target customers of hosting OS and formalised non-price parameters, it is possible to conduct the search for a set of optimal characteristics of the product.

Створення методів опису, формалізації й аналізу проблем, процесів, структур економічних, соціальних та екологічних систем(інформаційні та алгоритмічні аспекти);
Creation of methods of the description, formalization and analysis of problems, processes, structures of economic, social and ecological systems(information and algorithmic aspects);

Функцією повчального в цьому випадку є надання допомоги учневі у виявленні, систематизації, формалізації особистого досвіду останнього, коректуванні і поповненні його знань.
The function of the trainer in this case is to assist the learner in identifying, systematizing, formalizing the personal experience of the latter, adjusting and replenishing his knowledge.

Стаття присвячена дослідженню та формалізації перспективних напрямків розвитку вітчизняної банківської системи в контексті вдосконалення функціонування державних банківських установ.
This article is devoted to research and formalization of perspective directions of development of the domestic banking system in the context of improving functioning of state banks.

Консультування щодо належної формалізації правовідносин у сфері інтелектуальної власності між роботодавцем та працівником, допомога у створенні необхідних процедур і документів.
Counseling regarding proper formalization of legal relations in the field of intellectual property between the employer and employee, assistance in creating all the necessary procedures and documents;

Інші використовували HOS для формалізації семантики лінгвістичних квантифікаторів та формалізації дизайну надійних вбудованих систем реального часу Гамільтон покинула компанію HOS в 1985 році.
Others have used HOS to formalize the semantics of linguistic quantifiers. and to formalize the design of reliable real-time embedded systems Hamilton left the company, HOS, in 1985.