Що таке FORMAL DEFINITION Українською - Українська переклад

• формальне визначення
• формальна визначеність
• формального визначення

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

Formal definition.
Формальне означення.

The ISO Standard contains a formal definition of the language's semantics.
Стандарт ISO містить формальний опис семантики мови.

Formal definition.
Формальне визначення.

The idea of proximity is not very precise, reason for which a formal definition requires more elements.
Ідея близькості не є точною, тому формальне визначення вимагає більшої кількості елементів.

Formal definition of algorithm.
Формальне визначення алгоритму.

Nm-class is Samsung-speak for“Not 10nm.” The company's formal definition is“a process node between 10 and 20 nanometers.”.
Нм-клас Samsung-говорять для"Не 10нм". Формальне визначення компанії є"процесовим вузлом від 10 до 20 нанометрів".

The formal definition of the right- his most important feature, without which the law in principle, can not be.
Формальна визначеність права- його найважливіша ознака, без якого права в принципі бути не може.

The term hierarchical model is sometimes considered a particular type of Bayesian network, but has no formal definition.
Термін ієрархічна модель(англ. hierarchical model) іноді вважається окремим типом басової мережі, але він не має формального визначення.

There is no formal definition for these 2 sub-categories, but generally:.
Для цих двох підкатегорій немає офіційного визначення, але в цілому:.

They are not effected by whether other people received the treatment or control(for a more formal definition, see Gerber and Green(2012), Ch. 8).
Вони не здійснюють, отримали чи інші люди, лікування або контроль(для більш формального визначення, см Gerber and Green(2012), гл. 8).

The company's formal definition is“a process node between 10 and 20 nanometers.”.
Формальне визначення компанії є"процесовим вузлом від 10 до 20 нанометрів".

In addition, some tuft-forming bluegreen algae(Cyanobacteria) are sometimes considered as seaweeds-"seaweed" is a colloquial term and lacks a formal definition.
Крім того, деяка група синьозелених водоростей(ціанобактерії) іноді теж розглядаються як морські водорості, тому«морські водорості» є розмовним терміном і не має формального визначення.

First, there is no formal definition of opposition in the current Ukrainian legislation.
По-перше, зараз у законодавстві України немає формального визначення опозиції.

Then the equivalence class of the pair(a, b) can be identified with the rational number a/b, and this equivalence relation and its equivalence classes can be used to give a formal definition of the set of rational numbers.
Класу еквівалентності пари(a, b) можна поставити у відповідність раціональне число a/b, таким чином, це відношення еквівалентності і його класи еквівалентності можуть бути використані як формальне визначення множини раціональних чисел.

But unfortunately the formal definition of a random variable can be a little c onfusing.
Але, на жаль формальне визначення випадкова змінна може бути трохи c onfusing.

The formal definition of the right- his most important feature, without which the law in principle, can not be.
Формальна визначеність права- його найважливіший ознака, без якого права бути не може в принципі.

If you need a guarantee, demand from the agency you're placing your order with that they provide a formal definition of quality standards and criteria, so that if the received translation doesn't comply with them, you will be able to make a reasoned complaint.
Якщо вам важливо отримати гарантії, вимагайте від бюро перекладів, якому ви доручаєте своє замовлення, формального визначення стандартів і критеріїв якості. Якщо отриманий переклад їм не відповідатиме, ви зможете аргументовано висунути претензії.

A formal definition of the coordinate reference system(encoded as GML) used by KML is contained in the OGC KML 2.2 Specification.
Формальне визначення системи координат(закодовано як GML), використовуване в KML, міститься в специфікації OGC KML 2. 2.

If you're looking for a formal definition of it, you would probably have to dig out your dictionary.
Якщо ви шукаєте формальне визначення цього слова, вам, ймовірно, доведеться дістати словник.

The formal definition of the set of σ-formulas proceeds in the other direction: first, terms are assembled from the constant and function symbols together with the variables.
Формальне визначення безлічі а-формул триває в іншому напрямку: по-перше, члени зібрані з постійних і функціональних символів разом зі змінними.

Rabinovich's scientific team gave a formal definition to the subject of computer theory, which became an entry in the Encyclopedia of Cybernetics.
Науковою групою Рабіновича було дано формальне визначення предмета теорії ЕОМ, яке увійшло в Енциклопедію кібернетики.

The formal definition, aka the DTD is stored in the file language. dtd which should be installed on your system in the folder$KDEDIR/ share/ apps/ katepart/ syntax.
Формальне визначення або DTD зберігається у файлі з назвою language. dtd, який у вашій системі має бути встановлено до теки$KDEDIR/ share/ apps/ katepart/ syntax.

A figure in a position to intervene in the formal definition, semantics, technique and technology of a museum exhibition that focuses on the relationship between the space and users.
Фігура в стані втручатися в формальному визначенні, семантики, техніці та технології музейної експозиції, яка фокусується на відносинах між простором і користувачами.

Formal definition and dating of the GSSP(global stratotype section and point) for the base of the Holocene using the Greenland NGRIP ice core, and selected auxiliary records.
Формальне визначення та датування GSSP(Глобальна стратегічна секція та точки) на базі голоцену за допомогою крижаного ядра Гренландії NGRIP та обраних допоміжних записів.

In practice the formal definition should specify that the space is proportional to the number of items pushed and not yet popped;
На практиці формальне визначення повинно бути зазначено, що простір пропорційно кількості елементів заштовханих і ще не видалених;

This theory allows simple formal definition of collective intelligence as the property of social structure and seems to be working well for a wide spectrum of beings, from bacterial colonies up to human social structures.
Ця теорія припускає просте формальне визначення колективного інтелекту як властивості соціальної системи, й, схоже, що вона успішно працює для широкого кола істот, починаючи від колоній бактерій і до людських соціальних систем.

In practice the formal definition should specify that the space is proportional to the number of items pushed and not yet popped; and that every one of the operations above must finish in a constant amount of time, independently of that number.
На практиці формальне визначення повинно бути зазначено, що простір пропорційно кількості елементів заштовханих і ще не видалених; і що кожна з операцій вище, повинна закінчитися за постійну кількість часу, незалежно від цієї кількості.

It is tricky to offer a formal definition of this dimension, but a useful working definition is that fully digital experiments are experiments that make use of digital infrastructure to recruit participants, randomize, deliver treatments, and measure outcomes.
Це складно запропонувати формальне визначення цього розміру, але корисне робоче визначення є те, що повністю цифрові експерименти експерименти, які використовують цифрову інфраструктуру для набору учасників, рандомізації, доставити лікування і оцінки результатів.

It is tricky to offer a formal definition of this dimension, but a useful working definition is that fully digital experiments are experiments that make use of digital infrastructure to recruit participants, randomize, deliver treatments, and measure outcomes.
Це складно запропонувати формальне визначення цього виміру, але корисним робочим визначенням є те, що цілком цифрові експерименти є експериментами, які використовують цифрову інфраструктуру для набору учасників, рандомізації, доставки лікування та оцінки результатів.