Formalization - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция, определение
- formalization [ˈfɔːməlɪzeɪʃn] сущ
- формализацияж(formalizing)
- mathematical formalization – математическая формализация
- оформлениеср, официальное оформление(registration, official registration)
-
| noun | |||
| оформление | decor, formalization, typography, figuration, get-up | ||
- formalization сущ
- formalisation
formalisation, compositionality, reformulation, formalism, pi-calculus, formal-logic
disapprobation, disapproval, disfavor, refusal, rejection, repudiation, dislike, dissatisfaction, censure, condemnation, criticism, denunciation, deprecation, depreciation, disparagement, opprobrium, reprehension, reproach, reprobation
Formalization The act of formalizing something.
Such abstraction or formalization makes mathematical knowledge more general, capable of multiple different meanings, and therefore useful in multiple contexts. |
Такая абстракция или формализация делает математическое знание более общим, способным к множеству различных значений и, следовательно, полезным в различных контекстах. |
Marcus Hutter's universal artificial intelligence builds upon Solomonoff's mathematical formalization of the razor to calculate the expected value of an action. |
Универсальный искусственный интеллект Маркуса Хаттера основан на математической формализации бритвы Соломонова для вычисления ожидаемой ценности действия. |
Точная формализация заключается в следующем. |
|
However, under the Instrument, such formalization remains a legal requirement. |
Однако в соответствии с документом о ГЭФ подобная процедура официального утверждения по-прежнему остается условием, необходимым с юридической точки зрения. |
The quest for formalization might introduce much more complexity, which is not wanted, and which detracts from communicating the relevant issue. |
Стремление к формализации может привести к гораздо большей сложности, которая нежелательна и которая отвлекает от обсуждения соответствующего вопроса. |
The formalization of the feeling that you're missing something. |
Это формальное выражение того, что что-то потеряно. |
Here the author uses a wide range of modern art techniques like image framing, collage, syncretism, allegory, formalization, etc. |
Здесь автор использует широкий спектр современных художественных приемов, таких как обрамление изображений, коллаж, синкретизм, аллегория, формализация и др. |
What is important is that the formalization allows a straightforward mapping of algorithms to some data type that the algorithm can operate upon. |
Важно то, что формализация позволяет прямолинейно сопоставлять алгоритмы с некоторым типом данных, с которым алгоритм может работать. |
So far, the discussion on the formalization of an algorithm has assumed the premises of imperative programming. |
До сих пор дискуссия о формализации алгоритма предполагала предпосылки императивного программирования. |
Brouwer rejected formalization in mathematics, but his student Arend Heyting studied intuitionistic logic formally, as did Gerhard Gentzen. |
Брауэр отвергал формализацию в математике, но его ученик аренд хейтинг изучал интуиционистскую логику формально, как и Герхард Гентцен. |
Email predates the formalization of client–server architectures in the 1990s. |
Электронная почта предшествовала формализации клиент-серверных архитектур в 1990-х годах. |
Finsler continued to argue for his philosophy of mathematics, which eschewed formalization, for the remainder of his career. |
Финслер продолжал отстаивать свою философию математики, которая избегала формализации, до конца своей карьеры. |
Karate also provided an important comparative model for the early founders of taekwondo in the formalization of their art including hyung and the belt ranking system. |
Каратэ также обеспечило важную сравнительную модель для ранних основателей тхэквондо в формализации их искусства, включая Хен и систему ранжирования пояса. |
The method formalization process often helps uncover ambiguities, identify awkward language structures, and streamline the language. |
Процесс формализации метода часто помогает выявить двусмысленности, выявить неудобные языковые структуры и упорядочить язык. |
An early success of the formalist program was Hilbert's formalization of Euclidean geometry, and the related demonstration of the consistency of those axioms. |
Ранним успехом формалистской программы была формализация Гильбертом евклидовой геометрии и связанная с этим демонстрация непротиворечивости этих аксиом. |
For Bortkiewicz, this redistribution was a purely mathematical problem, a matter of correct formalization. |
Для Борткевича это перераспределение было чисто математической проблемой, вопросом правильной формализации. |
Its main priority is centered on establishing a comprehensive strategy and a consultative implementation plan for the formalization of the local financial sector. |
Его основной приоритет сосредоточен на разработке всеобъемлющей стратегии и плана осуществления консультаций для формализации местного финансового сектора. |
The present report gives some indication in this regard, based on the formalization of female labor. |
В данном докладе содержатся на этот счет определенные сведения, касающиеся положения работающих женщин в формальном секторе. |
He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem. |
Он руководил формализацией теоремы о четырех цветах и доказательством теоремы Фейта-Томпсона о нечетном порядке. |
A formalization of the interval propagation can be made thanks to the contractor algebra. |
На следующий день остальная часть бригады, путешествовавшая морем, прибыла в Алжир. |
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. |
То, что становится все более верным на практике, необходимо перевести на новый уровень и узаконить. |
I'm simply arguing for formalizing in policy what already exists as a de facto practice - and a justifiable one in my view. |
Я просто выступаю за формализацию в политике того, что уже существует как практика де - факто-и оправданная, на мой взгляд. |
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. |
По мере усложнения конструкции испытания должны становиться все более формализованными. |
So I assume you've been giving some thought to formalizing our arrangement? |
Так, я предполагаю ты думал о формализации нашего соглашения? |
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 1884, Rosetti's deputies resigned from parliament, formalizing the split in the party. |
В 1884 году депутаты Розетти ушли из парламента, оформив раскол в партии. |
In its weakest form, the assumption underpinning that particular formalization is called counterfactual definiteness. |
В своей самой слабой форме предположение, лежащее в основе этой конкретной формализации, называется контрфактической определенностью. |
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 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. |
Для этого просто используйте форму выше, чтобы официально оформить свой запрос. |
If you find for the traders you will be formalizing in law the concept of insuring human cargo. |
Если вы решите в пользу торговцев вы закрепите в законе принцип страхования живого груза. |
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. |
Мастера танцев постепенно формализовали и трансформировали как сольные, так и социальные танцы. |
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 года. |
- ai formalization - формализация в терминах искусственного интеллекта
- input message formalization - формализация входного сообщения
- mathematical formalization - математическая формализация
- a formalization - формализация
- process of formalization - Процесс формализации
- legal formalization - юридическое оформление
- business formalization - бизнес формализация
- formalization process - процесс формализации
- contract formalization - договор формализация
- formalization of employment - формализации занятости
- lack of formalization - отсутствие формализации
