Що таке ФОРМАЛЬНЕ ВИЗНАЧЕННЯ Англійською - Англійська переклад

• formal definition

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

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

Дамо тепер формальне визначення.
We now give a formal definition.

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

Існує більш формальне визначення.
There is a more official definition though.

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

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

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

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

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

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

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

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

Класу еквівалентності пари(a, b) можна поставити у відповідність раціональне число a/b, таким чином, це відношення еквівалентності і його класи еквівалентності можуть бути використані як формальне визначення множини раціональних чисел.
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.

Формальне визначення безлічі а-формул триває в іншому напрямку: по-перше, члени зібрані з постійних і функціональних символів разом зі змінними.
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.

У цьому, знову нотаток, на випадкова змінна r є буквально рівномірного випадкова змінна так вибірку над набір у. символи, у те, що це означає, що для всіх елементів У Всесвіті, на ймовірність, що r дорівнює a є просто R, один над у. І якщо ви хочете, щоб дотримуватися формальне визначення рівномірний змінної, це не реально, що важливо.
In this, again the notes that the random variable R is literally a uniform random variable sampled over the set U. So in symbols what's this means is that for all elements A in the universe, the probability that R is equal to A is simply R one over U. And if you want to stick to the formal definition of a, of a uniform variable, it's not actually that important.

Формальне визначення або DTD зберігається у файлі з назвою language. dtd, який у вашій системі має бути встановлено до теки$KDEDIR/ share/ apps/ katepart/ syntax.
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.

Ця теорія припускає просте формальне визначення колективного інтелекту як властивості соціальної системи, й, схоже, що вона успішно працює для широкого кола істот, починаючи від колоній бактерій і до людських соціальних систем.
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.

Формальне визначення та датування GSSP(Глобальна стратегічна секція та точки) на базі голоцену за допомогою крижаного ядра Гренландії NGRIP та обраних допоміжних записів.
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.

У результаті дослідження було встановлено формальне визначення та змістове наповнення об'єктів бухгалтерського обліку, що характеризуються належністю підприємству(установі), довгостроковим використанням(більше одного року), використанням у діяльності підприємства та отриманням економічних та інших вигод у майбутньому, можливістю достовірної оцінки та амортизації.
The study revealed the formal definition and content of the accounting objects, characterized by the belonging to an enterprise(institution), the long-term use(over one year), the use for the enterprise activity and promising the economic and other benefits in the future, the possibility of the reliable evaluation and depreciation.

Формальне визначення верховенства права не робить судження про«справедливість» самого закону, а визначає конкретні процедурні атрибути які повинна мати правова система, щоб бути згідно з принципом верховенства права.
Formalist definitions of the rule of law do not make a judgment about the"justness" of law itself, but define specific procedural attributes that a legal framework must have in order to be in compliance with the rule of law.

Це складно запропонувати формальне визначення цього розміру, але корисне робоче визначення є те, що повністю цифрові експерименти експерименти, які використовують цифрову інфраструктуру для набору учасників, рандомізації, доставити лікування і оцінки результатів.
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.

На практиці формальне визначення повинно бути зазначено, що простір пропорційно кількості елементів заштовханих і ще не видалених; і що кожна з операцій вище, повинна закінчитися за постійну кількість часу, незалежно від цієї кількості.
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.

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

У даній статті запропоновані формальні визначення дозволених і заборонених архітектур модульних нейронних мереж.
Formal definitions of allowed and prohibited architectures of modular neural networks are proposed in this article.

Також можна пояснити чому нуль є парним не застосовуючи формальних визначень.
It is also possible to explain why zero is even without referring to formal definitions.

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

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

Фігура в стані втручатися в формальному визначенні, семантики, техніці та технології музейної експозиції, яка фокусується на відносинах між простором і користувачами.
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.