Formalizing - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция, определение
homogenizing, normalizing, regularizing, standardizing
declining, denying, disallowing, disapproving, negativing, rejecting, turning down, vetoing
Formalizing present participle of formalize.
In November 2015, Russia revealed it was formalizing the introduction of the upgraded Metis-M1 anti-tank missile system. |
В ноябре 2015 года Россия официально объявила о введении в строй модернизированного противотанкового ракетного комплекса Метис-М1. |
Both were inspired by the goal of formalizing the analysis of functions and the work of Joseph-Louis Lagrange. |
Оба они были вдохновлены целью формализации анализа функций и работой Жозефа-Луи Лагранжа. |
The buyer has insisted on it before formalizing the transaction |
Вот, покупатель потребовал, перед тем как завершить операцию... |
Default logic aims at formalizing inference rules like this one without explicitly mentioning all their exceptions. |
Логика по умолчанию направлена на формализацию правил вывода, подобных этому, без явного упоминания всех их исключений. |
If you find for the traders you will be formalizing in law the concept of insuring human cargo. |
Если вы решите в пользу торговцев вы закрепите в законе принцип страхования живого груза. |
Carnap never succeeded in formalizing his thesis despite employing abundant logical and mathematical tools for this purpose. |
Карнапу так и не удалось формализовать свою диссертацию, несмотря на то, что он использовал для этого обильные логические и математические инструменты. |
Many attempts at formalizing a standard list of American snare drum rudiments have been made. |
Было сделано много попыток формализовать стандартный список американских зачатков барабанного боя. |
We had been told that you were formalizing and Callie and Jude's adoptions, and then this afternoon we received notification that Callie's adoption has been denied? |
Нам сказали, что вы оформили усыновление Джуда и Кэлли, а затем, во второй половине дня, мы получили уведомление, что удочерение Кэлли было отклонено? |
According to his wife, he first considered formalizing temporal logic in 1953. |
По словам его жены, он впервые задумался о формализации темпоральной логики в 1953 году. |
The proof of the second incompleteness theorem is obtained by formalizing the proof of the first incompleteness theorem within the system F itself. |
Доказательство второй теоремы неполноты получено путем формализации доказательства первой теоремы неполноты в самой системе F. |
At the heart of the keiretsu conglomerates' success lay city banks, which lent generously, formalizing cross-share holdings in diverse industries. |
В основе успеха конгломератов кейрецу лежали городские банки, которые щедро предоставляли кредиты, формализуя перекрестные акции в различных отраслях промышленности. |
So I assume you've been giving some thought to formalizing our arrangement? |
Так, я предполагаю ты думал о формализации нашего соглашения? |
Resistance to the idea of formalizing her interest in writing. |
Устойчивость к идее формализации ее интересов в письменной форме. |
In the 1960s, DeRosa was influential in formalizing jazz music education. |
В 1960-х годах Дероса оказал большое влияние на формализацию джазового музыкального образования. |
In 1884, Rosetti's deputies resigned from parliament, formalizing the split in the party. |
В 1884 году депутаты Розетти ушли из парламента, оформив раскол в партии. |
There have been several attempts at formalizing the concepts used in object-oriented programming. |
Было предпринято несколько попыток формализовать понятия, используемые в объектно-ориентированном программировании. |
Formalizing a scientific society implies continuity. |
Формализация научного общества предполагает преемственность. |
August Weismann was responsible for interpreting and formalizing the mechanisms of Darwinian evolution in a modern theoretical framework. |
Август Вейсман отвечал за интерпретацию и формализацию механизмов дарвиновской эволюции в современных теоретических рамках. |
He shows in detail how the approach in Syntactic Structures goes directly back to the work of the mathematical logician Emil Post on formalizing proof. |
Он подробно показывает, как подход в синтаксических структурах восходит непосредственно к работе математического логика Эмиля поста по формализации доказательства. |
I'm simply arguing for formalizing in policy what already exists as a de facto practice - and a justifiable one in my view. |
Я просто выступаю за формализацию в политике того, что уже существует как практика де - факто-и оправданная, на мой взгляд. |
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. |
Если понятие имеет градации значимого значения, то необходимо уточнить и формализовать, что это за градации, если они могут иметь важное значение. |
What is becoming increasingly true in practice should be carried forward and formalized. |
То, что становится все более верным на практике, необходимо перевести на новый уровень и узаконить. |
The formalization of the feeling that you're missing something. |
Это формальное выражение того, что что-то потеряно. |
In 25 AD, Pomponius Mela, a geographer for the Roman Empire, formalized the climatic zone system. |
В 25 году нашей эры Помпоний Мела, географ Римской Империи, формализовал систему климатических зон. |
In addition to formalizing Charter provisions in Parts I through IV, the Act adopts several specific measures to achieve these objectives. |
В дополнение к официальному оформлению положений Устава в частях I-IV закон принимает ряд конкретных мер для достижения этих целей. |
MoMA PS1 and the Museum of Modern Art formalized their affiliation in January 2000. |
МоМА PS1 и Музей современного искусства официально оформили свою принадлежность в январе 2000 года. |
A sixth link of the India-Australia would be the logical corollary, formalized as a new quadrilateral of strategic bulwark. |
Шестое звено индийско-Австралийского Союза было бы логическим следствием, формализованным как новый четырехугольник стратегического оплота. |
Do you want it formalized in terms of standard deviations from the norm? |
Вы хотите, чтобы он был формализован в терминах стандартных отклонений от нормы? |
Ancients knew physics and technology without the method or a formalized recognition of those practicing the method. |
Древние знали физику и технику без метода или формализованного признания тех, кто практиковал этот метод. |
Точная формализация заключается в следующем. |
|
This reasoning can be formalized in F1 to show that if F2 is consistent, then F1 is consistent. |
Это рассуждение можно формализовать в F1, чтобы показать, что если F2 непротиворечива, то F1 непротиворечива. |
In 2009, John Harrison employed HOL Light to formalize a proof employing complex analysis. |
В 2009 году Джон Харрисон использовал Holl Light для формализации доказательства с использованием комплексного анализа. |
Now, before we formalize this merger, are there any outstanding questions we might address? |
Прежде чем мы оформим слияние, если у нас не решенные вопросы? |
Отпразднуйте свадьбу в вашей деревне. |
|
As the designs become more complex, the testing must become more formalized. |
По мере усложнения конструкции испытания должны становиться все более формализованными. |
Most of these plans had such a limit but ACA formalized the annual out of pocket spend limit. |
Большинство из этих планов имели такой лимит, но ACA формализовала ежегодный лимит расходов из кармана. |
Its creation was formalized by law 81-3 February 2, 1981. |
Его создание было официально оформлено законом 81-3 от 2 февраля 1981 года. |
The lawyers came back with the custody agreement, and they're gonna need us to formalize our joint-custody pattern. |
Адвокаты подготовили документы, и от нас требуется оформить договор о совместной опеке. |
Burr responded by challenging Hamilton to a duel, personal combat under the formalized rules for dueling, the code duello. |
Берр ответил вызовом Гамильтона на дуэль, личный бой по формализованным правилам дуэли, кодекс дуэли. |
А эти на усыновление. |
|
Naruhito's place as emperor was formalized in a ceremony on the morning of 1 May. |
Место Нарухито в качестве императора было официально оформлено на церемонии утром 1 мая. |
If one restricts to the implicational intuitionistic fragment, a simple way to formalize logic in Hilbert's style is as follows. |
Если ограничиться импликационным интуитивистским фрагментом, то простой способ формализовать логику в стиле Гильберта выглядит следующим образом. |
The Vienna Convention on Diplomatic Relations of 1961 formalized the system and is the set of international legislation in use nowadays. |
Венская конвенция о дипломатических сношениях 1961 года формализовала эту систему и является сводом международного законодательства, действующего в настоящее время. |
Instead, there is a continuous procession of the condemned in a mechanical formalization of murder. |
Вместо этого происходит непрерывная процессия осужденных в механической формализации убийства. |
In its weakest form, the assumption underpinning that particular formalization is called counterfactual definiteness. |
В своей самой слабой форме предположение, лежащее в основе этой конкретной формализации, называется контрфактической определенностью. |
I ask for a show of hands to formalize the appointment of equity partner, Alicia Florrick, to the steering committee. |
Попрошу официально проголосовать за включение в управляющий комитет партнера Алисии Флоррик. |
To do this simply use the form above to formalize your request. |
Для этого просто используйте форму выше, чтобы официально оформить свой запрос. |
By contrast, a successful secession or declaration of independence is often formalized by means of a peace treaty. |
Напротив, успешное отделение или провозглашение независимости часто формализуется с помощью мирного договора. |
Duels, while also fought to uphold honor, were usually not formalized and sometimes were due to the heat of the moment. |
Дуэли, в то время как также сражались, чтобы поддержать честь, обычно не были формализованы и иногда были вызваны жаром момента. |
He collaborated with Britain and 25 other countries to formalize an agreement against sending any munitions or volunteer soldiers to Spain. |
Он сотрудничал с Великобританией и 25 другими странами, чтобы официально оформить соглашение против отправки каких-либо боеприпасов или солдат-добровольцев в Испанию. |
The dance masters slowly formalized and transformed both solo and social dances. |
Мастера танцев постепенно формализовали и трансформировали как сольные, так и социальные танцы. |
He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem. |
Он руководил формализацией теоремы о четырех цветах и доказательством теоремы Фейта-Томпсона о нечетном порядке. |
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. |
Это известно как допущение замкнутого мира и формализуется в логике по умолчанию, используя значение по умолчанию, подобное следующему для каждого факта F. |
Michael H. Hart formalized the basic points of the argument in a 1975 paper. |
Майкл Х. Харт формализовал основные моменты аргументации в статье 1975 года. |
- formalizing agreements - Формализуя соглашения
- further formalizing - далее формализация
- interest in formalizing - Интерес к формализации