OCaml chooses the last matching definition of a class inheritance list to resolve which method implementation to use under ambiguities. |
Ocaml выбирает последнее совпавшее определение в списке наследования классов для определения метода реализации, используемого в случае неопределенности. |
Thus it is useful to make a new definition concerning parallels in neutral geometry. |
Имеет смысл в этом случаен дать другое определение параллельности для нейтральной геометрии. |
Unlike that of its sister genre, the definition of hard fantasy is amorphous in practice. |
В отличие от своего родственного жанра, определение твёрдого фэнтези является аморфным на практике. |
The radar-time definition of extended-simultaneity further facilitates visualization of the way that acceleration curves spacetime for travelers in the absence of any gravitating objects. |
Определение расширенной одновременности через радарное время дополнительно облегчает визуализацию того, как ускорение искривляет пространство-время для путешественников в отсутствие каких-либо гравитирующих объектов. |
The technical definition of "support" in the context of Bayesian inference is described below. |
Техническое определение понятия «поддержка» в контексте байесовского вывода дано ниже. |
To this aim, she uses Vaughan's definition. |
С этой целью она использует определение Вогана. |
Trying to create a general theory, Denjoy used transfinite induction over the possible types of singularities, which made the definition quite complicated. |
В попытке создания общей теории Данжуа использовал трансфинитную индукцию по возможным типам особенностей, которые сделали определение довольно сложным. |
The definition of a cube includes the formulas that specify the calculation of such cells. |
Определение куба включает формулы, которые определяют расчет таких ячеек. |
Languages that support namespaces specify the rules that determine to which namespace an identifier (not its definition) belongs. |
Языки с поддержкой пространств имён определяют правила, указывающие, к какому пространству имён принадлежит идентификатор (то есть его определение). |
Methods of Control (2000) gives the following definition: Post Card is a standard rectangular form of a paper for public postings. |
Методы контроля» (2000) дано следующее определение: Карточка - стандартный прямоугольный бланк из бумаги для открытых почтовых отправлений. |
Since then scholars have expanded the original definition, while using its trait lists as a foundation for critical analysis of the entire concept. |
С тех пор авторы расширили первоначальное определение, используя первоначальные списки как основу для критического анализа всей концепции. |
If instead M is a 2n×2n matrix with complex entries, the definition is not standard throughout the literature. |
Если вместо М взять 2n×2n матрицу с комплексными элементами, определение в литературе не стандартизировалось. |
The definition "national" means that the Portal uses only Moldavian information resources and information about Moldova. |
Определение "национальный", означает, что Портал содержит исключительно информационные ресурсы Молдовы и информацию о Молдове. |
Generally, an inclusive definition means that the term has its ordinary meaning plus the items that are specifically mentioned. |
Если говорить в общем, то инклюзивное определение означает, что данный термин понимается в его обычном значении и при этом включает конкретно перечисленные позиции. |
1.2.1 currently contains the following definition: |
В настоящее время пункт 1.2.1 содержит следующее определение: |
Armenia and the Netherlands did not have a definition of the term in their legislation. |
В законодательстве Армении и Нидерландов определение этого термина не существует. |
This definition was omitted from the previous versions of the FRRs. |
В предыдущих вариантах финансовых положений и правил это определение было опущено. |
Original definition of partially funded was incomplete. |
Первоначальное определение частичного фондирования было неполным. |
This is to introduce the definition of third party procurement, which is a major procurement modality within UNFPA. |
Добавлено новое определение закупок для третьих сторон, которые являются одной из главных форм закупочной деятельности в ЮНФПА. |
In the last revision the definition for UNFPA assistance was removed. |
При последнем пересмотре определение помощи ЮНФПА было исключено. |
There is currently no clear definition of third party procurement handling fees nor any waiver procedure in applying them. |
В настоящее время отсутствуют как четкое определение закупок для третьих лиц, так и процедура отказа от их осуществления. |
Such a definition should, however, frame the design of reparation programmes. |
Вместе с тем такое определение должно служить основой при разработке программ возмещения ущерба. |
Bernhard Riemann used these ideas to give a precise definition of the integral. |
Бернхард Риман использовал эти идеи, чтобы дать точное определение интеграла. |
In 2002 definition was changed to: Essential medicines are those that satisfy the priority health care needs of the population. |
В 2002 году определение было изменено на: «К основным лекарствам относятся те, которые удовлетворяют приоритетные потребности населения в сфере здравоохранения». |
The Working Group then considered the definition of "control" as provided in draft article 3. |
Затем Рабочая группа рассмотрела определение термина "контроль", изложенное в проекте статьи 3. |