без примеровНайдено в 4 словарях
Общая лексика- Предназначен для электронного поиска и показа и совмещающим в себе функции переводного и толкового словаря. Большинство лексических значений снабжено толкованиями, комментариями об использовании, примерами употребления; многие включены в синонимические ряды и антонимические пары.
- Предназначен для электронного поиска и показа и совмещающим в себе функции переводного и толкового словаря. Большинство лексических значений снабжено толкованиями, комментариями об использовании, примерами употребления; многие включены в синонимические ряды и антонимические пары.
формализм
м.р.
formalities мн. (соблюдение внешней формы)
formalism (направление в искусстве и т. п. || in art, etc.)
Physics (Ru-En)
формализм
м.
formalism
Откройте все бесплатные
тематические словари
Примеры из текстов
Рассмотренная космология пост-планковской эры дает элегантный, самосогласованный и пригодный для вычислений формализм, позволяющий понять структуру, которую имела Вселенная через малые доли секунды после Большого взрыва и вплоть до нашего времени.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 TheoryThe Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate TheoryGreene, 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 FieldsSpinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic FieldsPenrose, 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 spaceQuantum fields in curved spaceBirrell, 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 RelativityGravitation and Cosmology: Principles and Applications Of The General Theory Of RelativityWeinberg, 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 LogicFoundations of Mathematical LogicCurry, 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 / GravitationGravitationMisner, 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 NatureThe Fractal Geometry of NatureMandelbrot, Benoit© 1977, 1982, 1983 by Benoit B. MandelbrotФрактальная геометрия природыМандельброт, Бенуа© Б. Мандельброт, 2002© Перевод на русский язык, Институт компьютерных исследований, 2002
Формализм квантовой механики установился рано.The formalism of quantum mechanics established itself early on.Трейман, C. / Этот странный квантовый мирTreiman, Sam / The Odd QuantumThe Odd QuantumTreiman, 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 FieldsSpinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic FieldsPenrose, 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 LogicFoundations of Mathematical LogicCurry, 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 LogicFoundations of Mathematical LogicCurry, 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 LogicFoundations of Mathematical LogicCurry, 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 LogicFoundations of Mathematical LogicCurry, 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 FieldsSpinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic FieldsPenrose, 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 / GravitationGravitationMisner, 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
Переводы пользователей
Пока нет переводов этого текста.
Будьте первым, кто переведёт его!
Словосочетания
формализм алгебры
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
Формы слова
формализм
существительное, неодушевлённое, мужской род
| Ед. ч. | Мн. ч. | |
| Именительный | формализм | формализмы |
| Родительный | формализма | формализмов |
| Дательный | формализму | формализмам |
| Винительный | формализм | формализмы |
| Творительный | формализмом | формализмами |
| Предложный | формализме | формализмах |