Sta Znaci ФОРМАЛИЗМ na Engleskom - Engleski Prijevod

• formalism
• formality

Primjeri korištenja Формализм na Ruski i njihovi prijevodi na Engleskom

Аксиоматичный метод и формализм.
Axiomatic method and formalism.

Теория ЯМР формализм матрицы плотности.
NMR theory product operator formalism.

Определяющая тема: абстрактная живопись, формализм.
Defined topic: abstract painting, formalism.

Матричный формализм интертипных отношений.
Matrix formalism of intertype relations.

Это-- формализм, причем небеспристрастный формализм..
This is formalism of an unevenhanded sort.

Таким образом, формализм исследует этот авторский стиль.
It is this auteur style that concerns formalism.

Мы дали физико-математический формализм этому явлению.
We have physical and mathematical formalism of this phenomenon.

Уменьшить формализм в работе Экономического и Социального Совета.
Reduce formality in Economic and Social Council proceedings.

В годы коммунизма и атеизма царил формализм и невыразимое лицемерие.
In the years of communism and atheism formalism and unspeakable hypocrisy reigned.

Различают три таких философско- математических подхода: логицизм, интуиционизм и формализм.
The Three Crises in Mathematics: Logicism, Intuitionism and Formalism.

Но за аккуратно составленными планами скрывается формализм, равнодушие и скука.
But behind accurately made plans are formalism, indifference and boredom.

Как было уже сказано, внешний формализм и показуха заменило подлинную и чистую веру.
As it has been said above, external formalism and window dressing have replaced genuine pure faith.

В 1949 году Камерный театр был закрыт за« эстетство и формализм».
In 1949, the Chamber Theatre was shut down for, as it was officially announced,"aestheticism and formalism.

Эта мера призвана ликвидировать формализм, снизить издержки и сократить сроки процедур.
The purpose of this measure is to eliminate formalities, reduce costs and expedite treatment of cases.

Адаптируя формализм[ 22] к биологической системе, опишем протекающие внутриклеточные процессы.
Adapting the formalism[22] the biological system, We describe the leaking intracellular processes.

Ключевые слова: соционика, типы информационного метаболизма, интертипные отношения, матричный формализм, оператор, группа, симметрия.
Keywords: socionics, types of information metabolism, intertype relations, matrix formalism, operator, group, symmetry.

Однако формализм в этой дихотомии склонен затушевать природу динамичной связи, которая, по всей видимости, существует.
However, the formalism in this dichotomy tends to obscure the nature of the dynamic relationship that seems to exist.

Во второй часте используют этот формализм, чтобы представлять основные понятия формального анализа понятий- понятие и решетка понятий.
This formalism had been used to describe the basic concepts of the formal concept analysis-concept and concept lattice.

Ключевые слова: соционика, соционические типы, операторы интертипных отношений, матричный формализм, каноническое представление, расширенный« базис» группы операторов.
Keywords: socionics, sociotypes, intertype relation operators, matrix formalism, canonical representation, extended basis of operators' group.

Описаны назначение, состав и формализм автоматизированного рабочего места студента- проектировщика, а также приведена его структурно- функциональная схема.
There are described the purpose, structure and formalism of automated workplace of student-designer(AWSD), and shown its structural-functional diagram.

Ключевые слова: соционика, интертипные отношения, малые группы, Аугустинавичюте- Рейнина признаки, Юнга- Минаева признаки, матричный формализм интертипных отношений.
Keywords: socionics, intertype relations, small groups, Augustinavichiute-Reinin traits, Jung-Minaiev traits, matrix formalism of intertype relationships.

Данный формализм позволяет создавать подробные модели мультиагентных систем, осуществлять имитационное моделирование, верифицировать и анализировать их свойства на формальном и строгом уровне.
The formalism allows creating comprehensive models of multi-agent systems, simulating, verifying and analyzing them in a formal and rigorous way.

Ключевые слова: соционика, информационные аспекты, биполярные признаки, операторы интертипных отношений, матричный формализм интертипных отношений, матрицы Гута, матрицы Минаева.
Keywords: socionics, information aspects, bipolar significances, intertype relation operators, matrix formalism of intertype relations, Gut matrices, Minaiev matrices.

Формализм со вспомогательными тензорными( биспинорными) полями в U( 1) самодуальных нелинейных моделях абелевых калибровочных полей обобщен на случай Sр( 2, R)- самодуальности.
The formalism of auxiliary tensor(bispinor) fields in U(1) self-dual nonlinear models of abelian gauge fields to the case of Sp(2,R) self-duality was generalized.

В лингвистике, логико- типовой грамматике, категорной грамматике и грамматике Монтегю применяют формализм, основанный на структурной теории доказательства, с целью дать формальную семантику естественному языку.
In linguistics, type-logical grammar, categorial grammar and Montague grammar apply formalisms based on structural proof theory to give a formal natural language semantics.

Используя формализм матриц плотности, проведено исследование подходов к описанию квантово- запутанных механизмов процессинга неравновесных открытых наносистем материалов.
Using a formalism of density matrixes the research of approaches to the description of the quantum entanglement mechanisms processing nonequilibrium opened nanosystems of materials is fulfilled.

Квантовая механика в фазовом пространстве часто выступает в определенных приложениях квантовой оптики( см. оптическое фазовое пространство), при изучении декогеренции и целом ряде специальных технических проблем, хотя этот формализм редко используется на практике.
Quantum mechanics in phase space is often favored in certain quantum optics applications(see optical phase space), or in the study of decoherence and a range of specialized technical problems, though otherwise the formalism is less commonly employed in practical situations.

Помимо этого, поскольку формализм садов XVII века вышел из моды, данная пересадка также имела цель установить в садах Версаля новый неформальный и упрощенный стиль, который к тому же дешевле поддерживать.
Also, as the formality of the 17th-century garden had fallen out of fashion, this replantation sought to establish a new informality in the gardens- that would also be less expensive to maintain- of Versailles.

Поскольку оператор момента импульса задается равенством J A+ B{\ displaystyle\ mathbf{ J}=\ mathbf{ A}+\ mathbf{ B}}, наибольший спин в квантовой механике вращательного подпредставления будет равен( m+ n) ℏ{\ displaystyle( m+ n)\ hbar} и применимо« обычное» правило сложения угловых моментов и формализм 3j- символов, 6j- символов, и т. д.
Since the angular momentum operator is given by J A+ B, the highest spin in quantum mechanics of the rotation sub-representation will be(m+ n)ℏ and the"usual" rules of addition of angular momenta and the formalism of 3-j symbols, 6-j symbols, etc. applies.

Формализм был изобретен Адрианом ван Вейнгаарденом для определения некоторых синтаксических ограничений, которые ранее должны были формулироваться на естественных языках, несмотря на свою принципиально синтаксическую сущность.
The formalism was invented by Adriaan van Wijngaarden to define rigorously some syntactic restrictions which previously had to be formulated in natural language, despite their essentially syntactical content.