about icon-addNote android4 Answer apple4 icon-appStoreEN icon-appStoreES icon-appStorePT icon-appStoreRU Imported Layers Copy 7 icon-arrow-spined icon-ask icon-attention icon-bubble-blue icon-bubble-red ButtonError ButtonLoader ButtonOk icon-cake icon-camera icon-card-add icon-card-calendar icon-card-remove icon-card-sort chrome-extension-ru chrome-extension-es-mx chrome-extension-pt-br chrome-extension-ru comment comment icon-cop-cut icon-cop-star Cross Dislike icon-editPen icon-entrance icon-errorBig facebook flag flag_vector icon-globe icon-googlePlayEN icon-googlePlayRU icon-greyLoader icon-cake Heart 4EB021E9-B441-4209-A542-9E882D3252DE Created with sketchtool. Info Kebab icon-lamp icon-lampBig icon-learnHat icon-learning-hat Dislike Loup Loup icon-more icon-note icon-notifications icon-pen Pencil icon-play icon-plus-light icon-plus icon-rosie-cut Rune scrollUp Share-icon Shevron-Down Shevron Left Shevron Right sound sound1 sound2 sound3 sound4 sound2 icon-star Swap icon-translate Trash icon-tutor-ellipsis icon-tutor-flip Tutor folder icon icon-tutor-learned icon-twoWayArrow Mezhdunarodny_logotip_VK vk icon-word pen_icon Logo Logo Logo
without examplesFound in 6 dictionaries

The Universal Dictionary

формализм

м.р.

  1. formalities мн. (соблюдение внешней формы)

  2. formalism (направление в искусстве и т. п. || in art, etc.)

Learning (Ru-En)

формализм

м

formalism

Unlock all free
thematic dictionaries

Examples from texts

Рассмотренная космология пост-планковской эры дает элегантный, самосогласованный и пригодный для вычислений формализм, позволяющий понять структуру, которую имела Вселенная через малые доли секунды после Большого взрыва и вплоть до нашего времени.
This post-Planck era cosmology provides an elegant, consistent, and calculationally tractable framework for understanding the universe as far back as the briefest moments after the bang.
Грин, Брайан / Элегантная Вселенная. Суперструны, скрытые размерности и поиски окончательной теорииGreene, Brian / The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory
The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory
Greene, Brian
© 1999, 2003 by Brian R. Greene
Элегантная Вселенная. Суперструны, скрытые размерности и поиски окончательной теории
Грин, Брайан
© 1999 by Brian R.Greene
© Перевод на русский язык: Едиториал УРСС, 2004
В данном параграфе будет показано, что формализм абстрактных индексов позволяет естественным образом описывать поля Янга — Миллса.
We shall show in this section how the abstract-index formalism adapts naturally to the treatment of Yang-Mills fields.
Пенроуз, Роджер,Риндлер, В. / Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поляPenrose, Roger,Rindler, Wolfgang / Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields
Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields
Penrose, Roger,Rindler, Wolfgang
© Cambridge University Press 1984
Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поля
Пенроуз, Роджер,Риндлер, В.
© Cambridge University Press 1984
© перевод на русский язык, «Мир», 1987
Здесь будут рассмотрены три основные ситуации, в которых общий формализм квантовой теории поля в искривленном пространстве-времени дает нетривиальные результаты даже, когда геометрия является плоской.
We consider three main topics in which the general curved spacetime formalism must be applied to achieve sensible results, even though the geometry is flat.
Биррелл, Н.,Девис, П. / Квантованные поля в искривленном пространстве-времениBirrell, N.D.,Davies, P.C.W. / Quantum fields in curved space
Quantum fields in curved space
Birrell, N.D.,Davies, P.C.W.
© Cambridge University Press 1982
Квантованные поля в искривленном пространстве-времени
Биррелл, Н.,Девис, П.
© Cambridge University Press, 1982
© Перевод на русский язык, «Мир», 1984
Тензорный формализм, описанный в § 5 гл. 2, вполне хорош для того, чтобы с его помощью разбирать проблемы релятивистской классической физики.
The tensor formalism described in Section 2.5 is perfectly adequate for handling the problems of relativistic classical physics.
Вейнберг, Стивен / Гравитация и космология: принципы и приложения общей теории относительностиWeinberg, Steven / Gravitation and Cosmology: Principles and Applications Of The General Theory Of Relativity
Gravitation and Cosmology: Principles and Applications Of The General Theory Of Relativity
Weinberg, Steven
© 1972, by John Wiley & Sons, Inc.
Гравитация и космология: принципы и приложения общей теории относительности
Вейнберг, Стивен
© Перевод на русский язык, «Мир», 1975
Поэтому формализм не является доктриной, которая отрицает или исключает те или иные содержательные доктрины; он одинаково независим от любой формы контенсивизма и одинаково согласуется с каждой из этих форм.
Thus formalism is not a doctrine which excludes or denies the doctrines of this or that sort of contensivism; it is equally independent of, and compatible with, any reasonable form of contensivism.
Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic
Foundations of Mathematical Logic
Curry, Haskell B.
© 1963 by Haskell B. Curry.
© 1977 by Haskell B. Curry.
Основания математической логики
Карри, Хаскелл Б.
© Издательство «Мир», 1969
Он должен был обобщить гамильтонов формализм, чтобы приспособить его к общей теории относительности, вводя «связи первого и второго класса» и обобщения скобок Пуассона классической механики.
He had to generalize the Hamiltonian formalism to accommodate it to general relativity, introducing "first- and second-class constraints" and generalizations of the Poisson brackets of classical mechanics.
Мизнер, Ч.,Торн, К.,Уилер, Дж. / ГравитацияMisner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald / Gravitation
Gravitation
Misner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald
© 1970 and 1971 by Charles W. Misner, Kip S. Thorne, and John Archibald Wheeler.
© 1973 by W. H. Freeman and Company.
Гравитация
Мизнер, Ч.,Торн, К.,Уилер, Дж.
© 1973 by W. H. Freeman and Company
© Перевод на русский язык «Мир», 1977
Формализм процесса рождения.
BIRTH PROCESS FORMALISM.
Мандельброт, Бенуа / Фрактальная геометрия природыMandelbrot, Benoit / The Fractal Geometry of Nature
The Fractal Geometry of Nature
Mandelbrot, Benoit
© 1977, 1982, 1983 by Benoit B. Mandelbrot
Фрактальная геометрия природы
Мандельброт, Бенуа
© Б. Мандельброт, 2002
© Перевод на русский язык, Институт компьютерных исследований, 2002
Формализм квантовой механики установился рано.
The formalism of quantum mechanics established itself early on.
Трейман, C. / Этот странный квантовый мирTreiman, Sam / The Odd Quantum
The Odd Quantum
Treiman, Sam
©1999 by Princeton University Press
Этот странный квантовый мир
Трейман, C.
© Перевод на русский язык, НИЦ «Регулярная и хаотическая динамика», 2002
Далее, его можно рассматривать как флагшток одного из спиноров диады в формализме спиновых коэффициентов.
In such situations one may also go further and use that null vector as the flagpole of one of the dyad spinors of a spin-coefficient formalism.
Пенроуз, Роджер,Риндлер, В. / Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поляPenrose, Roger,Rindler, Wolfgang / Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields
Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields
Penrose, Roger,Rindler, Wolfgang
© Cambridge University Press 1984
Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поля
Пенроуз, Роджер,Риндлер, В.
© Cambridge University Press 1984
© перевод на русский язык, «Мир», 1987
Провести во всех деталях доказательство (9) так, чтобы получить доказательство в формализме НА без использования Pi.
Put in all details in the above proof of (9), so as to get a proof in the formalism of HA without using Pi.
Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic
Foundations of Mathematical Logic
Curry, Haskell B.
© 1963 by Haskell B. Curry.
© 1977 by Haskell B. Curry.
Основания математической логики
Карри, Хаскелл Б.
© Издательство «Мир», 1969
Большинство тезисов, выдвинутых интуиционистами, если снять с них метафизический налет, приемлемы для формализма.
Many of the theses advanced by the intuitionists, when stripped of their metaphysical accompaniment, are acceptable to formalism.
Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic
Foundations of Mathematical Logic
Curry, Haskell B.
© 1963 by Haskell B. Curry.
© 1977 by Haskell B. Curry.
Основания математической логики
Карри, Хаскелл Б.
© Издательство «Мир», 1969
Вероятно, можно дать номиналистскую трактовку формализма, но здесь мы не пытаемся сделать это.
It is probable that a nominalistic account of formalism can be given, but that is not attempted here.
Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic
Foundations of Mathematical Logic
Curry, Haskell B.
© 1963 by Haskell B. Curry.
© 1977 by Haskell B. Curry.
Основания математической логики
Карри, Хаскелл Б.
© Издательство «Мир», 1969
Хотя первоначальные понятия такой системы постулатов не определены, рассматриваемый взгляд еще не является формализмом в том смысле, в каком он понимается в данной книге.
Although the primitive ideas of such a postulate system are unspecified, yet the view in question is not formalism as here conceived.
Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic
Foundations of Mathematical Logic
Curry, Haskell B.
© 1963 by Haskell B. Curry.
© 1977 by Haskell B. Curry.
Основания математической логики
Карри, Хаскелл Б.
© Издательство «Мир», 1969
Ключ к этому формализму — осознание того факта, что индекс не обязательно означает множество пробегаемых им целых чисел.
The key to this formalism will lie in the recognition that an index letter need not represent one of a set of integers over which it is to range.
Пенроуз, Роджер,Риндлер, В. / Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поляPenrose, Roger,Rindler, Wolfgang / Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields
Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields
Penrose, Roger,Rindler, Wolfgang
© Cambridge University Press 1984
Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поля
Пенроуз, Роджер,Риндлер, В.
© Cambridge University Press 1984
© перевод на русский язык, «Мир», 1987
Эквивалентность спинорного и тензорного формализмов
Equivalence of spinor and tensor formalisms
Мизнер, Ч.,Торн, К.,Уилер, Дж. / ГравитацияMisner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald / Gravitation
Gravitation
Misner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald
© 1970 and 1971 by Charles W. Misner, Kip S. Thorne, and John Archibald Wheeler.
© 1973 by W. H. Freeman and Company.
Гравитация
Мизнер, Ч.,Торн, К.,Уилер, Дж.
© 1973 by W. H. Freeman and Company
© Перевод на русский язык «Мир», 1977

Add to my dictionary

формализм1/7
Masculine nounformalities

User translations

No translations for this text yet.
Be the first to translate it!

Collocations

формализм алгебры
algebra formalism
канонический формализм
canonical formalism
ковариантный формализм
covariant formalism
теоретический формализм
formalism
формализм в живописи
formalism
формализм в театре
formalism
гамильтонов формализм
Hamiltonian formalism
гиперсферический формализм
hyperspherical formalism
лагранжев формализм
Lagrangian formalism
матричный формализм
matrix formalism
сетевой формализм
network formalizm
теоретико-числовой формализм
number-theoretic formalism
операторный формализм
operator formalism
семантический формализм
semantic formalism
однородный формализм
uniform formalism

Word forms

формализм

существительное, неодушевлённое, мужской род
Ед. ч.Мн. ч.
Именительныйформализмформализмы
Родительныйформализмаформализмов
Дательныйформализмуформализмам
Винительныйформализмформализмы
Творительныйформализмомформализмами
Предложныйформализмеформализмах