Формализовал - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Майкл Х. Харт формализовал основные моменты аргументации в статье 1975 года. |
Michael H. Hart formalized the basic points of the argument in a 1975 paper. |
В 1966 году Вентури формализовал это движение в своей книге сложность и противоречие в архитектуре. |
In 1966, Venturi formalized the movement in his book, Complexity and Contradiction in Architecture. |
Когда Ноам Хомский впервые формализовал генеративные грамматики в 1956 году, он классифицировал их на типы, ныне известные как иерархия Хомского. |
When Noam Chomsky first formalized generative grammars in 1956, he classified them into types now known as the Chomsky hierarchy. |
Музей формализовал методы воспроизведения этих доколумбовых артефактов и оценивает каждую часть для обеспечения качества. |
The museum has formalized the reproduction techniques for these pre-Columbian artifacts and assesses each piece to ensure quality. |
Он также формализовал идею согласования внутренних факторов организации с внешними средовыми обстоятельствами. |
He also formalized the idea of matching the organization's internal factors with external environmental circumstances. |
В своих трудах Саймонс сформулировал и формализовал учение более ранних швейцарских основателей. |
Through his writings, Simons articulated and formalized the teachings of earlier Swiss founders. |
Бергман использовал ряд методов дезинфекции и стерилизации, которые Шиммельбуш документировал и формализовал. |
Bergmann used a number of methods of disinfection and sterilisation, which Schimmelbusch documented and formalised. |
В 25 году нашей эры Помпоний Мела, географ Римской Империи, формализовал систему климатических зон. |
In 25 AD, Pomponius Mela, a geographer for the Roman Empire, formalized the climatic zone system. |
Во времена династии Тан Хань Юй еще более формализовал и определил конфуцианские верования как апологетический ответ буддизму. |
During the Tang dynasty, Han Yu further formalized and defined Confucian beliefs as an apologetic response to Buddhism. |
Известный новатор в области теоретической картографии, Касти формализовал семиотическую теорию географических карт. |
A noted innovator in the field of theoretical cartography, Casti formalized a semiotic theory of geographic maps. |
Бушидо расширил и формализовал более ранний кодекс самураев, подчеркнув искренность, бережливость, верность, владение боевыми искусствами и честь до самой смерти. |
Bushidō expanded and formalized the earlier code of the samurai, and stressed sincerity, frugality, loyalty, mastery of martial arts, and honour to the death. |
Гурвич ввел и формализовал концепцию совместимости стимулов. |
Hurwicz introduced and formalized the concept of incentive compatibility. |
Мейнард Смит математически формализовал устный аргумент Прайса,который он прочитал во время рецензирования статьи Прайса. |
Maynard Smith mathematically formalised a verbal argument made by Price, which he read while peer-reviewing Price's paper. |
Jpg предложил компромисс,который я формализовал. |
Jpg has suggested a compromise, which I have formalized. |
Рейган формализовал эту политику, издав Директиву по национальной безопасности в июне 1982 года. |
Reagan formalised this policy by issuing a National Security Decision Directive to this effect in June 1982. |
Так, я предполагаю ты думал о формализации нашего соглашения? |
So I assume you've been giving some thought to formalizing our arrangement? |
Оба они были вдохновлены целью формализации анализа функций и работой Жозефа-Луи Лагранжа. |
Both were inspired by the goal of formalizing the analysis of functions and the work of Joseph-Louis Lagrange. |
Вместо этого происходит непрерывная процессия осужденных в механической формализации убийства. |
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? |
Мне кажется скорее, что логика-это формализация определенных аспектов языка, и что математика использует эту формализацию. |
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. |
В последние десятилетия были разработаны многочисленные расширения классического формализма 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. |
Наиболее ярко это проявилось во второй половине века с постмодернизмом, но ранее модернизм и русский формализм предвосхитили эту перспективу. |
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. |
Точная формализация заключается в следующем. |
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. |
Например, язык, в котором есть формализованные средства выражения. |
For example, a language where there's a formalised means of saying. |
Таким образом, Мити формализовала сотрудничество между японским правительством и частной промышленностью. |
In this way, MITI formalized cooperation between the Japanese government and private industry. |
Это формализуется с помощью системы координат, которая движется вместе с контактным пятном. |
This is formalised by using a coordinate system that is moving along with the contact patch. |
В результате некоторые области знания не могут быть точно и полностью формализованы в виде математических теорий. |
As a result, some domains of knowledge cannot be formalized, accurately and completely, as mathematical theories. |
- формализованное описание - formalized description
- более формализованным - more formalised
- высоко формализованные - highly formalized
- для того, чтобы формализовать - in order to formalize
- далее формализовать - further formalize
- формализованное знание - formalized knowledge
- формализованный бизнес - formalized business
- Необходимо формализовать - need to be formalized
- наконец формализованный - finally formalized
- формализованные критерии - formalized criteria
- формализованные отношения - formalized relationships
- формализованная грамматика - formalized grammar
- Формализованная раскладка - formulary apportionment
- Формализованное лекарственное средство - drug formulary
- формализованный процесс - formalized process
- формализованный механизм - formalized mechanism
- менее формализованный - less formalised
- формализовать язык - formalize a language
- формализованная структура - formalized structure
- формализовать соглашение - formalize the agreement
- формализована до того - formalized before
- формализовать процесс - formalize the process
- не формализованы - non formalized
- структурированы и формализованы - structured and formalized
- он / она / он формализован - he/she has/had formalized