Формализации - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
К версии 4 он широко использовался в лаборатории, и была сформирована группа поддержки Unix, помогающая операционной системе выжить путем формализации ее дистрибутива. |
By Version 4 it was widely used within the laboratory and a Unix Support Group was formed, helping the operating system survive by formalizing its distribution. |
В середине 1930-х годов правитель страны Реза-шах Пехлеви перешел к формализации названия Иран вместо Персии для всех целей. |
In the mid 1930s, the ruler of the country, Reza Shah Pahlavi, moved towards formalising the name Iran instead of Persia for all purposes. |
Так, я предполагаю ты думал о формализации нашего соглашения? |
So I assume you've been giving some thought to formalizing our arrangement? |
Для формализации этого требуется тщательное уточнение набора рассматриваемых функций и того, насколько однородной должна быть конвергенция. |
To formalize this requires a careful specification of the set of functions under consideration and how uniform the convergence should be. |
Явка избирателей была зафиксирована на уровне 95,6%, и это подтверждение послужило толчком к формализации новой системы-президентской. |
The voter turnout was recorded at 95.6% and such confirmation was used as impetus to formalise the new system – a presidential system. |
Его основной приоритет сосредоточен на разработке всеобъемлющей стратегии и плана осуществления консультаций для формализации местного финансового сектора. |
Its main priority is centered on establishing a comprehensive strategy and a consultative implementation plan for the formalization of the local financial sector. |
Устойчивость к идее формализации ее интересов в письменной форме. |
Resistance to the idea of formalizing her interest in writing. |
Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики. |
First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics. |
По мере того, как язык методов начинает приближаться к зрелости, используются методы математической формализации, поэтому формирующийся язык имеет четкий синтаксис и семантику. |
As the method language begins to approach maturity, mathematical formalization techniques are employed so the emerging language has clear syntax and semantics. |
ITBs много сделали для формализации того, что могло бы быть бессистемным опытом обучения, и значительно улучшили его качество. |
The ITBs did much to formalise what could have been a haphazard training experience and greatly improved its quality. |
Для Борткевича это перераспределение было чисто математической проблемой, вопросом правильной формализации. |
This is analogous to connecting several classical computers to form a computer cluster in classical computing. |
Существуют различные способы формализации понятия стабильности. |
There are different ways to formalize the concept of stability. |
Язык теории категорий использовался для формализации понятий других абстракций высокого уровня, таких как множества, кольца и группы. |
The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. |
Нечеткая логика предлагает вычислительно-ориентированные системы понятий и методов для формализации типов рассуждений, которые обычно являются только приближенными, а не точными. |
Fuzzy logic offers computationally-oriented systems of concepts and methods, to formalize types of reasoning which are ordinarily approximate only, and not exact. |
Стремление к формализации может привести к гораздо большей сложности, которая нежелательна и которая отвлекает от обсуждения соответствующего вопроса. |
The quest for formalization might introduce much more complexity, which is not wanted, and which detracts from communicating the relevant issue. |
Оба они были вдохновлены целью формализации анализа функций и работой Жозефа-Луи Лагранжа. |
Both were inspired by the goal of formalizing the analysis of functions and the work of Joseph-Louis Lagrange. |
Универсальный искусственный интеллект Маркуса Хаттера основан на математической формализации бритвы Соломонова для вычисления ожидаемой ценности действия. |
Marcus Hutter's universal artificial intelligence builds upon Solomonoff's mathematical formalization of the razor to calculate the expected value of an action. |
Для Борткевича это перераспределение было чисто математической проблемой, вопросом правильной формализации. |
For Bortkiewicz, this redistribution was a purely mathematical problem, a matter of correct formalization. |
Другие формализации утверждения о том, что F непротиворечиво, могут быть неэквивалентными в F, а некоторые даже могут быть доказуемыми. |
Other formalizations of the claim that F is consistent may be inequivalent in F, and some may even be provable. |
Организаторы обсуждали способы формализации руководства и надзора для подлинных или независимых лидеров ложи. |
Organizers have been discussing ways to formalize guidance and oversight to authentic or independent lodge leaders. |
Вместо этого происходит непрерывная процессия осужденных в механической формализации убийства. |
Instead, there is a continuous procession of the condemned in a mechanical formalization of murder. |
Должны ли мы формализовать это и запретить двусмысленные сноски на страницах disambig? |
Should we formalize this, and prohibit disambiguating hatnotes on disambig pages? |
Известный новатор в области теоретической картографии, Касти формализовал семиотическую теорию географических карт. |
A noted innovator in the field of theoretical cartography, Casti formalized a semiotic theory of geographic maps. |
Мне кажется скорее, что логика-это формализация определенных аспектов языка, и что математика использует эту формализацию. |
It seems to me rather that logic is a formalization of certain aspects of language, and that mathematics makes use of this formalization. |
Ученые исследовали формализм синтаксиса и психологию грамматики в рамках этой модели. |
Scholars explored the formalism of syntax and psychology of grammar under this model. |
Когда Ноам Хомский впервые формализовал генеративные грамматики в 1956 году, он классифицировал их на типы, ныне известные как иерархия Хомского. |
When Noam Chomsky first formalized generative grammars in 1956, he classified them into types now known as the Chomsky hierarchy. |
В последние десятилетия были разработаны многочисленные расширения классического формализма DEVS. |
Numerous extensions of the classic DEVS formalism have been developed in the last decades. |
С усложнением нашего общества и расширением торговых границ мы построили более формализованные институты, например, валютные банки, правительства и корпорации. |
As our societies grew more complex and our trade routes grew more distant, we built up more formal institutions, institutions like banks for currency, governments, corporations. |
Это известно как допущение замкнутого мира и формализуется в логике по умолчанию, используя значение по умолчанию, подобное следующему для каждого факта F. |
This is known as the Closed World Assumption, and is formalized in default logic using a default like the following one for every fact F. |
Ансамблевый формализм также может быть использован для анализа общих механических систем с неопределенностью в знаниях о состоянии системы. |
The ensemble formalism also can be used to analyze general mechanical systems with uncertainty in knowledge about the state of a system. |
Он руководил формализацией теоремы о четырех цветах и доказательством теоремы Фейта-Томпсона о нечетном порядке. |
He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem. |
Вы хотите, чтобы он был формализован в терминах стандартных отклонений от нормы? |
Do you want it formalized in terms of standard deviations from the norm? |
Такая абстракция или формализация делает математическое знание более общим, способным к множеству различных значений и, следовательно, полезным в различных контекстах. |
Such abstraction or formalization makes mathematical knowledge more general, capable of multiple different meanings, and therefore useful in multiple contexts. |
Обязанность заботиться может рассматриваться как формализация общественного договора, подразумеваемая ответственность индивидов перед другими членами общества. |
Duty of care may be considered a formalisation of the social contract, the implicit responsibilities held by individuals towards others within society. |
Эта проблема времени является широким знаменем для всех интерпретационных проблем формализма. |
This problem of time is the broad banner for all interpretational problems of the formalism. |
Эта идея была формализована Хомским в иерархии Хомского. |
The idea was formalized by Chomsky in the Chomsky hierarchy. |
Берр ответил вызовом Гамильтона на дуэль, личный бой по формализованным правилам дуэли, кодекс дуэли. |
Burr responded by challenging Hamilton to a duel, personal combat under the formalized rules for dueling, the code duello. |
Отчасти это произошло потому, что сторонники неформальной логики стали хранителями аргументации и риторики, настаивая на том, что формализм является анафемой для аргументации. |
This was in part because proponents of informal logic became the keepers of argument and rhetoric while insisting that formalism was anathema to argument. |
Ситуационное исчисление - это логический формализм, предназначенный для представления и рассуждения о динамических областях. |
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. |
Синтаксис связан с формализмом, используемым для представления сообщения. |
Syntax is concerned with the formalism used to represent a message. |
В 25 году нашей эры Помпоний Мела, географ Римской Империи, формализовал систему климатических зон. |
In 25 AD, Pomponius Mela, a geographer for the Roman Empire, formalized the climatic zone system. |
Наиболее ярко это проявилось во второй половине века с постмодернизмом, но ранее модернизм и русский формализм предвосхитили эту перспективу. |
This most prominently happened in the second half of the century with postmodernism, but earlier modernism and Russian formalism had anticipated this perspective. |
В Нидерландах существует традиция изучения иностранных языков, формализованная в голландском законодательстве об образовании. |
The Netherlands has a tradition of learning foreign languages, formalised in Dutch education laws. |
Его сельские пейзажи повлияли на некоторых молодых художников того времени, заставив их отказаться от формализма и черпать вдохновение непосредственно из природы. |
His rural scenes influenced some of the younger artists of the time, moving them to abandon formalism and to draw inspiration directly from nature. |
Формализм DEVS был изобретен Бернардом П. Зиглером, который является почетным профессором Аризонского университета. |
The DEVS formalism was invented by Bernard P. Zeigler, who is emeritus professor at the University of Arizona. |
Майкл Х. Харт формализовал основные моменты аргументации в статье 1975 года. |
Michael H. Hart formalized the basic points of the argument in a 1975 paper. |
Точная формализация заключается в следующем. |
The precise formalization is as follows. |
Эти правила не прописаны в законе или иным образом формализованы. |
These rules are not written in law or otherwise formalized. |
Дуэли, в то время как также сражались, чтобы поддержать честь, обычно не были формализованы и иногда были вызваны жаром момента. |
Duels, while also fought to uphold honor, were usually not formalized and sometimes were due to the heat of the moment. |
Древние знали физику и технику без метода или формализованного признания тех, кто практиковал этот метод. |
Ancients knew physics and technology without the method or a formalized recognition of those practicing the method. |
Он наиболее формализован в католической церкви, где большинство епископов, включая Папу Римского, имеют личный герб. |
It is most formalised within the Catholic Church, where most bishops, including the pope, have a personal coat of arms. |
Я могу попытаться найти больше примеров обоих обычаев, если это необходимо для принятия каких-либо формализованных решений, но это может занять некоторое время. |
I can try to find more examples of both usages if that's needed to make any imformed decisions, but it may take awhile. |
Племенные культуры были формализованы в то, что мы назвали бы феодальными системами, и многие права и обязанности были приняты монархией и связанной с ней аристократией. |
Tribal cultures were formalized into what we would call feudal systems, and many rights and obligations were assumed by the monarchy and related aristocracy. |
Если понятие имеет градации значимого значения, то необходимо уточнить и формализовать, что это за градации, если они могут иметь важное значение. |
If the concept has gradations of meaningful significance, it is necessary to specify and formalize what those gradations are, if they can make an important difference. |
Хотя эти формализованные формы грамотности подготовили туземную молодежь к существованию в изменяющемся обществе, они уничтожили все следы ее культурной грамотности. |
While these formalized forms of literacy prepared Native youth to exist in the changing society, they destroyed all traces of their cultural literacy. |
Однако после формализации свободы слова в лондонском уголке спикеров в 1878 году было решено, что домен станет местом для свободы слова в Сиднее. |
However, following the formalisation of free speech in Speakers' Corner in London it was decided in 1878 that The Domain would be the place for free speech in Sydney. |
Интеграция была впервые строго формализована, используя ограничения, Риманом. |
Integration was first rigorously formalized, using limits, by Riemann. |
- Интерес к формализации - interest in formalizing
- для формализации - for formality
- отсутствие формализации - lack of formalization
- формализации занятости - formalization of employment
- процесс формализации - formalization process
