Ковариантный формализм - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
ковариантность - covariance
коварианса - covariance
ковариантность и контравариантность (математика) - Covariant and contravariant (mathematics)
ковариационная матрица - covariance matrix
ковариантно замкнутый - coclosed
билинейной ковариантны - bilinear covariant
апостериорная ковариационная - a posteriori covariance
ковариационная - covariance
ковариация (генеральной) совокупности - population covariance
эмпирическая ковариация - empiric covariance
Синонимы к ковариантный: соизменимый
формализовывать - to formalize
инактивация формалином - inactivation with formalin
далее формализация - further formalizing
договор формализация - contract formalization
Формализованная раскладка - formulary apportionment
формализованный процесс - formalized process
матричный формализм - matrix formalism
формализм унитарных групп - unitary group formalism
формализм матрицы когерентности - coherency matrix formalism
формализм оператора бозонного сдвига - boson shift operator formalism
Синонимы к формализм: педантизм, забюрократизированность, ригоризм, казенщина, канцелярщина, формальность, официальность, педантичность, педантство, буквоедство
Значение формализм: Соблюдение внешней формы в чём-н. в ущерб существу дела.
Лишь очень немногие авторы пытались обосновать квантовый формализм как таковой с помощью SED. |
Only a very few authors have attempted to motivate the quantum formalism as such using SED. |
С усложнением нашего общества и расширением торговых границ мы построили более формализованные институты, например, валютные банки, правительства и корпорации. |
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. |
So much formality under such circumstances left him speechless. |
|
Решительным шагом руководителей африканских стран в этом направлении является недавняя формализация процесса Африканской конференции по финансированию развития на уровне министров. |
The recent institutionalization of an African Ministerial Conference on Financing for Development is a bold step by African leaders in this area. |
Должна признаться, я с нетерпением жду немного строгого шведского формализма, для разнообразия. |
I'm looking forward to some strict Swedish formalities for a change. |
Ансамблевый формализм также может быть использован для анализа общих механических систем с неопределенностью в знаниях о состоянии системы. |
The ensemble formalism also can be used to analyze general mechanical systems with uncertainty in knowledge about the state of a system. |
Его сельские пейзажи повлияли на некоторых молодых художников того времени, заставив их отказаться от формализма и черпать вдохновение непосредственно из природы. |
His rural scenes influenced some of the younger artists of the time, moving them to abandon formalism and to draw inspiration directly from nature. |
Подобный формализм встречается в широком спектре социал-демократических и марксистских дискурсов, которые позиционируют политическое действие как антагонистическое рынку. |
Similar formalism occurs in a wide variety of social democratic and Marxist discourses that situate political action as antagonistic to the market. |
Когда мы пытаемся формализовать этику с помощью стандартной модальной логики, мы сталкиваемся с некоторыми проблемами. |
When we try and formalize ethics with standard modal logic, we run into some problems. |
Однако после формализации свободы слова в лондонском уголке спикеров в 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. |
Наиболее ярко это проявилось во второй половине века с постмодернизмом, но ранее модернизм и русский формализм предвосхитили эту перспективу. |
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. |
Мастера танцев постепенно формализовали и трансформировали как сольные, так и социальные танцы. |
The dance masters slowly formalized and transformed both solo and social dances. |
Ситуационное исчисление - это логический формализм, предназначенный для представления и рассуждения о динамических областях. |
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. |
Было по крайней мере две успешные попытки формализовать вероятность, а именно формулировка Колмогорова и формулировка Кокса. |
There have been at least two successful attempts to formalize probability, namely the Kolmogorov formulation and the Cox formulation. |
Дуэли, в то время как также сражались, чтобы поддержать честь, обычно не были формализованы и иногда были вызваны жаром момента. |
Duels, while also fought to uphold honor, were usually not formalized and sometimes were due to the heat of the moment. |
Обязанность заботиться может рассматриваться как формализация общественного договора, подразумеваемая ответственность индивидов перед другими членами общества. |
Duty of care may be considered a formalisation of the social contract, the implicit responsibilities held by individuals towards others within society. |
При сегунате Токугава некоторые аспекты воинских ценностей были формализованы в Японском феодальном праве. |
Under the Tokugawa shogunate, some aspects of warrior values became formalized into Japanese feudal law. |
Таким образом, Мити формализовала сотрудничество между японским правительством и частной промышленностью. |
In this way, MITI formalized cooperation between the Japanese government and private industry. |
Эта идея была формализована Хомским в иерархии Хомского. |
The idea was formalized by Chomsky in the Chomsky hierarchy. |
По Лиссабонскому договору эта система была формализована, и Юнкер был утвержден на другой срок. |
Under the Lisbon Treaty, this system was formalised and Juncker was confirmed for another term. |
В своей самой слабой форме предположение, лежащее в основе этой конкретной формализации, называется контрфактической определенностью. |
In its weakest form, the assumption underpinning that particular formalization is called counterfactual definiteness. |
Бергман использовал ряд методов дезинфекции и стерилизации, которые Шиммельбуш документировал и формализовал. |
Bergmann used a number of methods of disinfection and sterilisation, which Schimmelbusch documented and formalised. |
У Родерика Сазерленда из Университета Сиднея есть Лагранжевый формализм для пилотной волны и ее beables. |
Roderick I. Sutherland at the University in Sydney has a Lagrangian formalism for the pilot wave and its beables. |
Например, язык, в котором есть формализованные средства выражения. |
For example, a language where there's a formalised means of saying. |
Такая абстракция или формализация делает математическое знание более общим, способным к множеству различных значений и, следовательно, полезным в различных контекстах. |
Such abstraction or formalization makes mathematical knowledge more general, capable of multiple different meanings, and therefore useful in multiple contexts. |
Он руководил формализацией теоремы о четырех цветах и доказательством теоремы Фейта-Томпсона о нечетном порядке. |
He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem. |
Это известно как допущение замкнутого мира и формализуется в логике по умолчанию, используя значение по умолчанию, подобное следующему для каждого факта 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. |
Майкл Х. Харт формализовал основные моменты аргументации в статье 1975 года. |
Michael H. Hart formalized the basic points of the argument in a 1975 paper. |
Оба они были вдохновлены целью формализации анализа функций и работой Жозефа-Луи Лагранжа. |
Both were inspired by the goal of formalizing the analysis of functions and the work of Joseph-Louis Lagrange. |
Это формализуется с помощью системы координат, которая движется вместе с контактным пятном. |
This is formalised by using a coordinate system that is moving along with the contact patch. |
Точная формализация заключается в следующем. |
The precise formalization is as follows. |
Культурный контекст часто сводится к технике и интенциям художника,и в этом случае анализ идет по линии, сходной с формализмом и интенционализмом. |
The cultural context often reduces to the artist's techniques and intentions, in which case analysis proceeds along lines similar to formalism and intentionalism. |
Берр ответил вызовом Гамильтона на дуэль, личный бой по формализованным правилам дуэли, кодекс дуэли. |
Burr responded by challenging Hamilton to a duel, personal combat under the formalized rules for dueling, the code duello. |
Рука ребенка поднимается в формализованном и традиционном восточном благословении. |
The Child's hand is raised in a formalized and traditional Eastern blessing. |
Хотя эти формализованные формы грамотности подготовили туземную молодежь к существованию в изменяющемся обществе, они уничтожили все следы ее культурной грамотности. |
While these formalized forms of literacy prepared Native youth to exist in the changing society, they destroyed all traces of their cultural literacy. |
Племенные культуры были формализованы в то, что мы назвали бы феодальными системами, и многие права и обязанности были приняты монархией и связанной с ней аристократией. |
Tribal cultures were formalized into what we would call feudal systems, and many rights and obligations were assumed by the monarchy and related aristocracy. |
Отчасти это произошло потому, что сторонники неформальной логики стали хранителями аргументации и риторики, настаивая на том, что формализм является анафемой для аргументации. |
This was in part because proponents of informal logic became the keepers of argument and rhetoric while insisting that formalism was anathema to argument. |
Современный экстатический танец был возрожден Габриэль рот в 1970-х годах и формализован в ее практике 5-ти ритмов; теперь он встречается в вариантах по всему западному миру. |
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. |
Формализованные метательные виды спорта часто имеют строго определенные критерии для снарядов, такие как заранее определенный размер и вес. |
Formalised throwing sports often have strictly defined criteria for projectiles, such as a pre-determined size and weight. |
Древние знали физику и технику без метода или формализованного признания тех, кто практиковал этот метод. |
Ancients knew physics and technology without the method or a formalized recognition of those practicing the method. |
Интеграция была впервые строго формализована, используя ограничения, Риманом. |
Integration was first rigorously formalized, using limits, by Riemann. |
Отношения оябун-Кобун формализуются церемониальным разделением саке из одной чашки. |
The oyabun-kobun relationship is formalized by ceremonial sharing of sake from a single cup. |
Большинство из этих планов имели такой лимит, но ACA формализовала ежегодный лимит расходов из кармана. |
Most of these plans had such a limit but ACA formalized the annual out of pocket spend limit. |
По словам его жены, он впервые задумался о формализации темпоральной логики в 1953 году. |
According to his wife, he first considered formalizing temporal logic in 1953. |
Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики. |
First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics. |
Вообще трудно писать о сообществе в целом, так как ничто никогда не было формализовано или даже стандартизировано. |
Generaly it's hard to write about the community as a whole, since nothing has ever been formalized or even standardised. |
В 25 году нашей эры Помпоний Мела, географ Римской Империи, формализовал систему климатических зон. |
In 25 AD, Pomponius Mela, a geographer for the Roman Empire, formalized the climatic zone system. |
Формализм DEVS был изобретен Бернардом П. Зиглером, который является почетным профессором Аризонского университета. |
The DEVS formalism was invented by Bernard P. Zeigler, who is emeritus professor at the University of Arizona. |
В последние десятилетия были разработаны многочисленные расширения классического формализма DEVS. |
Numerous extensions of the classic DEVS formalism have been developed in the last decades. |
Синтаксис связан с формализмом, используемым для представления сообщения. |
Syntax is concerned with the formalism used to represent a message. |
Вы хотите, чтобы он был формализован в терминах стандартных отклонений от нормы? |
Do you want it formalized in terms of standard deviations from the norm? |
Русский формализм был школой литературной критики в России с 1910-х по 1930-е годы. |
Russian formalism was a school of literary criticism in Russia from the 1910s to the 1930s. |
Русский формализм оказал большое влияние на таких мыслителей, как Михаил Бахтин и Юрий Лотман, а также на структурализм в целом. |
Russian formalism exerted a major influence on thinkers like Mikhail Bakhtin and Yuri Lotman, and on structuralism as a whole. |
Для Борткевича это перераспределение было чисто математической проблемой, вопросом правильной формализации. |
For Bortkiewicz, this redistribution was a purely mathematical problem, a matter of correct formalization. |
Для описания таких распознавателей теория формального языка использует отдельные формализмы, известные как теория автоматов. |
To describe such recognizers, formal language theory uses separate formalisms, known as automata theory. |
Когда Ноам Хомский впервые формализовал генеративные грамматики в 1956 году, он классифицировал их на типы, ныне известные как иерархия Хомского. |
When Noam Chomsky first formalized generative grammars in 1956, he classified them into types now known as the Chomsky hierarchy. |
Эти правила не прописаны в законе или иным образом формализованы. |
These rules are not written in law or otherwise formalized. |
Должны ли мы формализовать это и запретить двусмысленные сноски на страницах disambig? |
Should we formalize this, and prohibit disambiguating hatnotes on disambig pages? |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «ковариантный формализм».
А именно, здесь можно найти перевод (значение) «ковариантный формализм» на английском языке, синонимы, антонимы, краткое определение слов: ковариантный, формализм . Также, к фразе «ковариантный формализм» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.