Examples of using Формальное определение in Russian and their translations into English
{-}
-
Official
-
Colloquial
Более формальное определение использует рекуррентную формулу.
В законодательстве Бенина пока не закреплено формальное определение пыток.
As yet, Beninese law does not give a formal definition of torture.Формальное определение может варьироваться очень широко в зависимости от обстоятельств.
Прежде чем давать формальное определение, предложим некоторую мотивировку для изучения подобных конструкций.
Before giving a formal definition of universal properties, we offer some motivation for studying such constructions.Во избежание двусмысленности вышеприведенного определения, дадим следующее формальное определение модулей.
To avoid the possibility of ambiguity in the above Combinations with other parts of speech
Usage with adjectives
это определениечеткого определенияновое определениеширокое определениеследующие определенияобщее определениеточного определенияюридическое определениерабочее определениеважную роль в определении
More
Дано формальное определение обучаемой модели вычислений на классификациях.
The authors have given formal definition of the trainable model of calculus over classification.Обзор также установил среднюю плоскость пояса Койпера иввел новое формальное определение динамических классов транснептуновых объектов.
The survey has also established the mean Kuiper Belt plane andintroduced new formal definitions of the dynamical classes of Kuiper belt objects.Таким образом, формальное определение образования как<< органа>> не имеет решающего значения.
Thus, what В 1988 был опубликован SDL- 88,включавший формальные основания языка: абстрактную и реальную грамматики, а также полное формальное определение.
In 1988, SDL-88 was released witha Дано формальное определение вычислений и вычислимости, и доказательство того, что существуют алгоритмически неразрешимые задачи.
A formal definition of computation and computability, and proof that there are computationally unsolvable and intractable problems.Через несколько лет( 1939) Тьюринг предложил, какэто сделали Черч и Клини перед ним, что его формальное определение механического вычислительного агента было правильным.
In a few years(1939) Turing would propose,like Church and Kleene before him, that his formal definition of mechanical computing agent was the correct one.В работе предложено формальное определение межпроцедурного дефекта и рассмотрены некоторые типы межпроцедурных ошибок доступа к буферу.
In this paper we provide a formal definition for inter-procedural buffer overflow errors and discuss different kinds of such errors.Однако ввиду того, что положение женщин в мире отличаетсяот положения мужчин и нередко является неблагополучным, формальное определение равенства, т. е. использование к женщинам того же подхода, что и к мужчинам, на том основании, что мужчины и женщины одинаковы, является недостаточным.
However, to the extent that women are situated differently in the world and, in particular,are often disadvantageously situated, a merely formal conceptualization of equality- treating women in the same way that men are treated on the basis that men and women are the same- is insufficient.В работе приведено формальное определение ошибки доступа к буферу, возникающей при прохождении некоторой последовательности ребер графа потока управления программы.
We propose a formal definition for buffer overflow errors that are caused by executing a particular sequence of program control-flow edges.Разработка хорошо организованной системы управления базой данных, базирующейся на нетрадиционной модели данных, требовала решения следующих задач: формальное определение модели данных, основывающейся на понятии массива; построение формальной алгебры, работающей с объектами модели; разработка правил оптимизации запросов на логическом уровне, а затем и на физическом.
Development of a well-organized database management system which stands on completely uncommon data model required performing the following tasks: formally defining a data model, building a formal algebra operating on objects from the data model, devising optimization rules on logical level and then on the physical one.Формальное определение следующее: Если задано множество точек P⊂ ℝd, нужно найти множество точек S⊂ ℝd,| S| k, такое, что значение maxp∈ P( minq∈ S( d( p, q))) будет минимальным.
A formal definition is as follows: Given a point set P⊂ ℝd, find a point set S⊂ ℝd,|S| k, so that maxp∈ P(minq∈ S(d(p, q))) is minimized.Хотя в законодательстве Бенина пока отсутствует формальное определение пытки, этот недостаток компенсируется богатой практикой Конституционного суда в области прецедентного права.
While a formal definition of torture did not yet exist in Beninese legislation, that gap was bridged by the abundant case law of the Constitutional Court.Более формальное определение хирального многогранника- это многогранник, имеющий две орбиты флагов под действием группы симметрии при смежных флагах в различных орбитах.
The more technical definition of a chiral polytope is a polytope that has two orbits of flags under its group of symmetries, with adjacent flags in different orbits.Комитет отмечает, что в порядке пересмотра суды обладают лишь полномочиями выносить формальное определение о том, что данное лицо фактически является" незаконно находящимся в стране лицом, не являющимся гражданином", к которому применима эта статья, что никем не оспаривается, а не квалифицировать по существу наличие оснований, оправдывающих задержание в обстоятельствах каждого дела.
The Committee observes that the only power of review vested in the courts is to make the formal determination that the individual is in fact an"unlawful noncitizen" to which the section applies, which is uncontested in all cases, rather than to assess whether there are substantive grounds which justify detention in the circumstances of each case.Любое формальное определение или рекомендация должны нести определенный вес, и является правдой то, что Ассамблея- это политический орган, который выносит решения согласно блокам приверженности чем беспристрастному суждению.
Any formal determination or recommendation must necessarily carry some weight, but it is also true that the Assembly is a political body that makes decisions according to block allegiances rather than impartial judgment.Комитет отмечает, что в порядке пересмотра суды обладают лишь полномочиями вынести формальное определение о том, что данное лицо фактически является" незаконным лицом, не являющимся гражданином", к которому применима эта статья- что в данном случае не подвергается сомнению- а не квалифицировать по существу наличие существенных оснований в обстоятельствах данного дела, оправдывающих задержание.
The Committee observes that the sole review capacity for the courts is to make the formal determination that the individual is in fact an"unlawful non-citizen" to which the section applies, which is uncontested in this case, rather than to make a substantive assessment of whether there are substantive grounds justifying detention in the circumstances of the case.Формальное определение термина" жертва" не было сочтено необходимым, но для целей настоящих проектов принципов этот термин включает физических и юридических лиц, в том числе государства, как хранителей государственной собственности.
A formal definition of the term"victim" was not considered necessary but for purposes of the present draft principles the term includes natural and legal persons, including States as custodians of public property.Для этой модели коллективного интеллекта было предложено формальное определение КСИ( Коэффициент социального интеллекта, IQS- IQ Social) определенное как« функция распределения вероятности от времени и домена логических выводов из N элементов, отражающая деятельность по производству логических выводов в социальной системе».
For this model of collective intelligence, the formal definition of IQS(IQ Social) was proposed and was defined as"the probability function over the time and domain of N-element inferences which are reflecting inference activity of the social structure.Формальное определение эллиптической кривой требует некоторых знаний в алгебраической геометрии, но некоторые свойства эллиптических кривых над вещественными числами можно описать, используя только знания алгебры и геометрии старших классов школы.
Although the formal definition of an elliptic curve is fairly technical and requires some background in algebraic geometry, it is possible to describe some features of elliptic curves over the real numbers using only introductory algebra and geometry.Эта теория допускает простое формальное определение коллективного интеллекта как свойства социальной системы, и, похоже, что она успешно работает для широкого круга существ, начиная от колоний бактерий и до человеческих социальных систем.
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.Формальное определение задачи о назначениях на узкие места выглядит следующим образом: Заданы два множества, A и T, вместе с весовой функцией C: A× T→ R. Найти биекцию f: A→ T такую, что функция стоимости: max a∈ A C( a, f( a)){\ displaystyle\ max_{ a\ in A} C( a, f( a))} минимальна.
The formal definition of the bottleneck assignment problem is Given two sets, A and T, together with a weight function C: A× T→ R. Find a bijection f: A→ T such that the cost function: max a∈ A C( a, f( a)){\displaystyle\max_{a\in A}C(a, f(a))} is minimized.В результате исследования было установлено формальное определение и содержательное наполнение объектов бухгалтерского учета, характеризующихся принадлежностью к предприятию( учреждению), долгосрочным использованием( более одного года), использованием в деятельности предприятия и получением экономических и других выгод в будущем, возможностью достоверной оценки и амортизации.
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.Формального определения у броского термина" умные материалы", конечно, нет.
Formal definition of a catchy term"smart materials", of course not.У ФАО нет формального определения принципа добровольного предварительного и осознанного согласия.
FAO has not adopted a formal definition of free, prior and informed consent.Формальные определения.
Formal definitions.
