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

• formalization
• formalisation
• formalizing

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

порядок їх розміщення, формалізація передбачуваних відповідей)
their order, the formalization of the supposed answers)

Мова йде про те, що до кінця поточного року звіт робочої групи і формалізація питань щодо вступу України в СОТ будуть завершені»,- сказав А. ЯЦЕНЮК.
That is, by the end of year, the report of the working group and formalization of issues concerning Ukraine's joining WTO will be completed”, A. Yatseniuk.

Доказово-теоретична формалізація немонотонічної логіки починається з прийняття певних немонотонних правил,
Proof-theoretic formalization of a non-monotonic logic begins with adoption of certain non-monotonic rules of inference,

По-друге, формалізація і поглиблення маючих давню історію партнерських відносин з Курдистаном,
Secondly, the formalization and deepening of the long-standing partnership with the Kurdistan which is on the way to its state independence,

У статті представлена формалізація процесу формування збалансованості місцевих бюджетів з використанням методології структурного аналізу
The article presents the formalization of the process of formation of the balance of local budgets with the use of methodology of structural analysis

Це дозволяє скласти уявлення про те, наскільки вигідною може бути формалізація і стандартизація тексту під час підготовки до машинного перекладу-
This gives an idea of the benefits that come with the formalization and standardization of texts prior to machine translation,

передбачали що світ програмування з вдячністю прийме будь-яку допомогу яку надасть формалізація у розв'язанні проблем надійності, яка виникає коли програми стають великими
predicted that the programming world would embrace with gratitude every assistance promised by formalisation to solve the problems of reliability that arise when programs get large

Модельно-теоретична формалізація немонотонічної логіки починається з обмеження семантики відповідної монотонічної логіки на деякі спеціальні моделі,
Model-theoretic formalization of a non-monotonic logic begins with restriction of the semantics of a suitable monotonic logic to some special models,

Формалізація принципу Rechtsstaat здійснена не раніше 1798 р., але популяризована Робертом Ван
The formalization of the Rechtsstaat principle was carried out not earlier than 1798,

Тімоті Лорі стверджував, що формалізація соціальної динаміки між чоловіками
Timothy Laurie argued that the formalisation of social dynamics between men

Антанти також ознаменувало кінець майже тисячоліття переривчастого конфлікту між двома народами та їхніми державами-попередниками, і формалізація мирного співіснування, яке існувало з кінця наполеонівських війн у 1815. до 1940, відносини між Великобританією і Францією були ближче.
marked the end of almost a millennium of intermittent conflict between the two nations and their predecessor states, and the formalisation of the peaceful co-existence that had existed since the end of the Napoleonic Wars in 1815.

Існуючі політичні кордони часто є формалізацією таких історичних, природних перешкод.
Existing political borders are often a formalization of such historical, natural obstacles.

Мої наукові керівники запропонували формалізацію- глобальну специфікацію для мікросервісов.
My scientific leaders proposed formalization- a global specification for microservices.

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

У статті вивчаються сучасні погляди на математичну формалізацію та інтерпретацію невизначеностей.
The current views on mathematical formalization and interpretation of uncertainties are examined in the paper.

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

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

Дмитро Тузов: Ви говорите про формалізацію?
Tom Hooten: Are you talking about articulation?

Виконано формалізацію алгоритму Флойда-Уоршалла з використанням математичного апарату систем алгоритмічних алгебр модифікованих.
Floyd-Warshall's algorithm formalization is executed with the use of mathematical means of the systems of algorithmic algebras modified.

Консультування щодо належної формалізації правовідносин у сфері інтелектуальної власності між роботодавцем
Counseling regarding proper formalization of legal relations in the field of intellectual property between the employer