Гиперсферический формализм - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
полярная гиперсфера - polar hypersphere
Синонимы к гиперсферический: гипершаровой
формализация в терминах искусственного интеллекта - ai formalization
ошпаривание с формалином - formalin scalding
инактивация формалином - inactivation with formalin
для того, чтобы формализовать - in order to formalize
корпускулярный формализм - particle formalism
полуклассический формализм параметра соударений - semiclassical impact parameter formalism
формализм одной исходной конфигурации - single-reference formalism
формализм кластерного разложения - cluster expansion formalism
формализм связанных мод - coupled-mode formalism
формализованный механизм - formalized mechanism
Синонимы к формализм: педантизм, забюрократизированность, ригоризм, казенщина, канцелярщина, формальность, официальность, педантичность, педантство, буквоедство
Значение формализм: Соблюдение внешней формы в чём-н. в ущерб существу дела.
Интеграция была впервые строго формализована, используя ограничения, Риманом. |
Integration was first rigorously formalized, using limits, by Riemann. |
Формализм DEVS был изобретен Бернардом П. Зиглером, который является почетным профессором Аризонского университета. |
The DEVS formalism was invented by Bernard P. Zeigler, who is emeritus professor at the University of Arizona. |
Бергман использовал ряд методов дезинфекции и стерилизации, которые Шиммельбуш документировал и формализовал. |
Bergmann used a number of methods of disinfection and sterilisation, which Schimmelbusch documented and formalised. |
Синтаксис связан с формализмом, используемым для представления сообщения. |
Syntax is concerned with the formalism used to represent a message. |
В Нидерландах существует традиция изучения иностранных языков, формализованная в голландском законодательстве об образовании. |
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. |
С усложнением нашего общества и расширением торговых границ мы построили более формализованные институты, например, валютные банки, правительства и корпорации. |
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 ensemble formalism also can be used to analyze general mechanical systems with uncertainty in knowledge about the state of a system. |
Подобный формализм встречается в широком спектре социал-демократических и марксистских дискурсов, которые позиционируют политическое действие как антагонистическое рынку. |
Similar formalism occurs in a wide variety of social democratic and Marxist discourses that situate political action as antagonistic to the market. |
Ученые исследовали формализм синтаксиса и психологию грамматики в рамках этой модели. |
Scholars explored the formalism of syntax and psychology of grammar under this model. |
Однако после формализации свободы слова в лондонском уголке спикеров в 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 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. |
Примером такого подхода является формализм Берда–Мертенса, и этот подход можно рассматривать как еще одну форму корректности по конструкции. |
An example of this approach is the Bird–Meertens formalism, and this approach can be seen as another form of correctness by construction. |
Дуэли, в то время как также сражались, чтобы поддержать честь, обычно не были формализованы и иногда были вызваны жаром момента. |
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. |
Это рассуждение можно формализовать в F1, чтобы показать, что если F2 непротиворечива, то F1 непротиворечива. |
This reasoning can be formalized in F1 to show that if F2 is consistent, then F1 is consistent. |
Таким образом, Мити формализовала сотрудничество между японским правительством и частной промышленностью. |
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. |
Например, язык, в котором есть формализованные средства выражения. |
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. |
Его основной приоритет сосредоточен на разработке всеобъемлющей стратегии и плана осуществления консультаций для формализации местного финансового сектора. |
Its main priority is centered on establishing a comprehensive strategy and a consultative implementation plan for the formalization of the local financial sector. |
Хотя эти формализованные формы грамотности подготовили туземную молодежь к существованию в изменяющемся обществе, они уничтожили все следы ее культурной грамотности. |
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. |
Отношения оябун-Кобун формализуются церемониальным разделением саке из одной чашки. |
The oyabun-kobun relationship is formalized by ceremonial sharing of sake from a single cup. |
По словам его жены, он впервые задумался о формализации темпоральной логики в 1953 году. |
According to his wife, he first considered formalizing temporal logic in 1953. |
Мне кажется скорее, что логика-это формализация определенных аспектов языка, и что математика использует эту формализацию. |
It seems to me rather that logic is a formalization of certain aspects of language, and that mathematics makes use of this formalization. |
Вообще трудно писать о сообществе в целом, так как ничто никогда не было формализовано или даже стандартизировано. |
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. |
Известный новатор в области теоретической картографии, Касти формализовал семиотическую теорию географических карт. |
A noted innovator in the field of theoretical cartography, Casti formalized a semiotic theory of geographic maps. |
В последние десятилетия были разработаны многочисленные расширения классического формализма DEVS. |
Numerous extensions of the classic DEVS formalism have been developed in the last decades. |
Вы хотите, чтобы он был формализован в терминах стандартных отклонений от нормы? |
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. |
Я знаю, что у Джона не было ничего, кроме благих намерений формализовать категории в соответствии с единой логикой. |
I am aware that John had nothing but good intentions of formalizing the categories according to a uniform logic. |
Для Борткевича это перераспределение было чисто математической проблемой, вопросом правильной формализации. |
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? |
Напротив, успешное отделение или провозглашение независимости часто формализуется с помощью мирного договора. |
By contrast, a successful secession or declaration of independence is often formalized by means of a peace treaty. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «гиперсферический формализм».
А именно, здесь можно найти перевод (значение) «гиперсферический формализм» на английском языке, синонимы, антонимы, краткое определение слов: гиперсферический, формализм . Также, к фразе «гиперсферический формализм» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.