Formalisation - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция, определение
formalization, characterization, delimitation, exemplification, expounding, solemnization, validation, sanctification, celebration, enactment, ratification, reinforcement, answer, description, explanation, formalising, formalizations, formalized, formalizing, solemnisation, officialization, rationalization, systematization
Formalisation The act of making formal (as by stating formal rules governing classes of expressions).
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. |
Однако после формализации свободы слова в лондонском уголке спикеров в 1878 году было решено, что домен станет местом для свободы слова в Сиднее. |
More recently Kripke's formalisation of possible world semantics in modal logic led to a new approach to essentialism. |
Совсем недавно формализация Крипке возможной мировой семантики в модальной логике привела к новому подходу к эссенциализму. |
And this is not a new poll, this is just a formalisation of a move proposal that was gaining consensus in a different venue. |
И это не новый опрос, это просто формализация предложения о переезде, которое набирало консенсус в другом месте. |
Duty of care may be considered a formalisation of the social contract, the implicit responsibilities held by individuals towards others within society. |
Обязанность заботиться может рассматриваться как формализация общественного договора, подразумеваемая ответственность индивидов перед другими членами общества. |
The abolition of Withington's manorial rights in the 1840s meant that local government began to be formalised. |
Отмена Манориальных прав Уизингтона в 1840-х годах означала, что местное самоуправление начало формализовываться. |
Sihanouk's appointment as king was formalised the following day by the Cambodian Crown Council, and his coronation ceremony took place on 3 May 1941. |
Назначение Сианука королем было официально оформлено на следующий день Королевским Советом Камбоджи, и церемония его коронации состоялась 3 мая 1941 года. |
For example, a language where there's a formalised means of saying. |
Например, язык, в котором есть формализованные средства выражения. |
In 2017, York became UK's first human rights city, which formalised the city's aim to use human rights in decision making. |
В 2017 году Йорк стал первым городом Великобритании по правам человека, который официально закрепил цель города использовать права человека в процессе принятия решений. |
An example of this approach is the Bird–Meertens formalism, and this approach can be seen as another form of correctness by construction. |
Примером такого подхода является формализм Берда–Мертенса, и этот подход можно рассматривать как еще одну форму корректности по конструкции. |
It was first formalised by the Peruvian communist party Shining Path in 1988. |
Она была впервые официально оформлена перуанской Коммунистической партией Сияющий Путь в 1988 году. |
I'm going back to Switzerland this week to formalise my contract. |
На этой неделе еду в Швейцарию подписывать контракт. |
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. |
Ситуационное исчисление - это логический формализм, предназначенный для представления и рассуждения о динамических областях. |
This is formalised by using a coordinate system that is moving along with the contact patch. |
Это формализуется с помощью системы координат, которая движется вместе с контактным пятном. |
Both theories are associated with textualist and formalist schools of thought, however there are pronounced differences between them. |
Обе теории связаны с текстуалистской и формалистской школами мышления, однако между ними существуют ярко выраженные различия. |
His rural scenes influenced some of the younger artists of the time, moving them to abandon formalism and to draw inspiration directly from nature. |
Его сельские пейзажи повлияли на некоторых молодых художников того времени, заставив их отказаться от формализма и черпать вдохновение непосредственно из природы. |
Another formalism mathematically equivalent to regular expressions, Finite automata are used in circuit design and in some kinds of problem-solving. |
Другой формализм математически эквивалентен регулярным выражениям, конечные автоматы используются в схемном проектировании и в некоторых видах решения задач. |
Section 14 of the Ordinance formalised the application of the common-law tradition in the country. |
Раздел 14 указа официально закрепил применение традиции общего права в стране. |
Halliday's work is sometimes seen as representing a competing viewpoint to the formalist approach of Noam Chomsky. |
Работа Холлидея иногда рассматривается как представляющая собой конкурирующую точку зрения с формалистическим подходом Ноама Хомского. |
In November 2014, Vladimir Putin moved to formalise the Abkhazian military's relationship as part of the Russian armed forces, signing a treaty with Khajimba. |
В ноябре 2014 года Владимир Путин принял решение официально оформить отношения абхазских военных в составе Вооруженных сил России, подписав договор с Хаджимбой. |
Israel has had diplomatic representation in Singapore since its earliest days, with representation formalised in 1968. |
Израиль имеет дипломатическое представительство в Сингапуре с самых первых дней своего существования, официально оформленное в 1968 году. |
In the mid 1930s, the ruler of the country, Reza Shah Pahlavi, moved towards formalising the name Iran instead of Persia for all purposes. |
В середине 1930-х годов правитель страны Реза-шах Пехлеви перешел к формализации названия Иран вместо Персии для всех целей. |
It is most formalised within the Catholic Church, where most bishops, including the pope, have a personal coat of arms. |
Он наиболее формализован в католической церкви, где большинство епископов, включая Папу Римского, имеют личный герб. |
The first originators of Kamakura Buddhism schools were Hōnen and Shinran who emphasized belief and practice over formalism. |
Первыми основателями школ буддизма Камакура были Хонэн и Синран, которые ставили веру и практику выше формализма. |
To describe such recognizers, formal language theory uses separate formalisms, known as automata theory. |
Для описания таких распознавателей теория формального языка использует отдельные формализмы, известные как теория автоматов. |
Scholars explored the formalism of syntax and psychology of grammar under this model. |
Ученые исследовали формализм синтаксиса и психологию грамматики в рамках этой модели. |
Formalist definitions identify mathematics with its symbols and the rules for operating on them. |
Формалистические определения отождествляют математику с ее символами и правилами работы с ними. |
This most prominently happened in the second half of the century with postmodernism, but earlier modernism and Russian formalism had anticipated this perspective. |
Наиболее ярко это проявилось во второй половине века с постмодернизмом, но ранее модернизм и русский формализм предвосхитили эту перспективу. |
For the Russian formalists, parody was a way of liberation from the background text that enables to produce new and autonomous artistic forms. |
Для русских формалистов пародия была способом освобождения от фонового текста, позволяющим создавать новые, автономные художественные формы. |
It is customary among our people to formalise new alliances such as ours. |
Среди наших людей принято официально оформлять новые союзы, такие, как наш. |
The Netherlands has a tradition of learning foreign languages, formalised in Dutch education laws. |
В Нидерландах существует традиция изучения иностранных языков, формализованная в голландском законодательстве об образовании. |
According to the formalist, mathematics is manipulation of symbols according to agreed upon formal rules. |
Согласно формалисту, математика-это манипуляция символами в соответствии с согласованными формальными правилами. |
This problem of time is the broad banner for all interpretational problems of the formalism. |
Эта проблема времени является широким знаменем для всех интерпретационных проблем формализма. |
While the above systems of units are based on arbitrary unit values, formalised as standards, some unit values occur naturally in science. |
В то время как вышеупомянутые системы единиц основаны на произвольных единичных значениях, формализованных как стандарты, некоторые единичные значения естественным образом встречаются в науке. |
Для него это был лишь повод порвать отношения. |
|
The voter turnout was recorded at 95.6% and such confirmation was used as impetus to formalise the new system – a presidential system. |
Явка избирателей была зафиксирована на уровне 95,6%, и это подтверждение послужило толчком к формализации новой системы-президентской. |
Bergmann used a number of methods of disinfection and sterilisation, which Schimmelbusch documented and formalised. |
Бергман использовал ряд методов дезинфекции и стерилизации, которые Шиммельбуш документировал и формализовал. |
This was in part because proponents of informal logic became the keepers of argument and rhetoric while insisting that formalism was anathema to argument. |
Отчасти это произошло потому, что сторонники неформальной логики стали хранителями аргументации и риторики, настаивая на том, что формализм является анафемой для аргументации. |
И сегодня же мы закрепим договоренность о свадьбе. |
|
Although the MIME formalism was designed mainly for SMTP, its content types are also important in other communication protocols. |
Хотя формализм MIME был разработан в основном для SMTP, его типы контента также важны в других протоколах связи. |
The ensemble formalism also can be used to analyze general mechanical systems with uncertainty in knowledge about the state of a system. |
Ансамблевый формализм также может быть использован для анализа общих механических систем с неопределенностью в знаниях о состоянии системы. |
The nontraditional formalism of Maxwell optics provides a unified framework of light beam optics and polarization. |
Нетрадиционный формализм максвелловской оптики обеспечивает единую структуру оптики светового пучка и поляризации. |
He tried to free the methods of scholarship from the rigidity and formalism of medieval traditions, but he was not satisfied with this. |
Он пытался освободить методы науки от жесткости и формализма средневековых традиций, но его это не удовлетворяло. |
The cultural context often reduces to the artist's techniques and intentions, in which case analysis proceeds along lines similar to formalism and intentionalism. |
Культурный контекст часто сводится к технике и интенциям художника,и в этом случае анализ идет по линии, сходной с формализмом и интенционализмом. |
Modern ecstatic dance was revived by Gabrielle Roth in the 1970s and formalised in her 5Rhythms practice; it is now found in variants across the western world. |
Современный экстатический танец был возрожден Габриэль рот в 1970-х годах и формализован в ее практике 5-ти ритмов; теперь он встречается в вариантах по всему западному миру. |
Post-war division of the world was formalised by two international military alliances, the United States-led NATO and the Soviet-led Warsaw Pact. |
Послевоенное разделение мира было оформлено двумя международными военными альянсами-НАТО под руководством США и Варшавским договором под руководством СССР. |
LCFRS/MCFG is sometimes regarded as the most general formalism for specifying mildly context-sensitive grammars. |
LCFRS / MCFG иногда рассматривается как наиболее общий формализм для определения слабо контекстно-зависимых грамматик. |
His officer's commission was formalised on 26 May 1767 with a transfer to James Cook's HMS Endeavour as second lieutenant and second-in-command. |
Его офицерское звание было официально оформлено 26 мая 1767 года с переводом на HMS Endeavour Джеймса Кука в качестве второго лейтенанта и заместителя командира. |
The formalism is well-suited for describing high-frequency processes and small-length scales materials. |
Формализм хорошо подходит для описания высокочастотных процессов и материалов малой длины. |
Our leaders would also like to extend an invitation to Earth to formalise our treaty. |
Наше правительство хотело бы пригласить вас на Землю, чтобы уладить некоторые формальности. |
Intentionally simplistic in its message, the song formalised his pacifist stance and provided an anthem for the Summer of Love. |
Намеренно упрощенная в своем послании, эта песня формализовала его пацифистскую позицию и стала гимном лета любви. |
When a model is expressed in this formalism, a computer is able to perform algebraic manipulations to best formulate the solution algorithm. |
Когда модель выражается в этом формализме, компьютер способен выполнять алгебраические манипуляции, чтобы наилучшим образом сформулировать алгоритм решения. |
A grammar formalism is said to have polynomial parsing if its membership problem can be solved in deterministic polynomial time. |
Говорят, что грамматический формализм имеет полиномиальный разбор, если его проблема принадлежности может быть решена за детерминированное полиномиальное время. |
While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics. |
В то время как корни формализованной логики восходят к Аристотелю, конец XIX-начало XX веков ознаменовались развитием современной логики и формализованной математики. |
Prog is based on fusions of styles, approaches and genres, involving a continuous move between formalism and eclecticism. |
Прог основан на слиянии стилей, подходов и жанров, предполагающем непрерывное движение между формализмом и эклектизмом. |
A formalist would therefore say that the continuum hypothesis is neither true nor false, unless you further refine the context of the question. |
Поэтому формалист сказал бы, что гипотеза континуума не является ни истинной, ни ложной, если только вы не уточните еще больше контекст вопроса. |
Roderick I. Sutherland at the University in Sydney has a Lagrangian formalism for the pilot wave and its beables. |
У Родерика Сазерленда из Университета Сиднея есть Лагранжевый формализм для пилотной волны и ее beables. |
Russian formalism was a school of literary criticism in Russia from the 1910s to the 1930s. |
Русский формализм был школой литературной критики в России с 1910-х по 1930-е годы. |
- process formalisation - процесс формализации
- formalisation of a relationship - формализация отношений
