без примеровНайдено в 4 словарях
Общая лексика- Предназначен для электронного поиска и показа и совмещающим в себе функции переводного и толкового словаря. Большинство лексических значений снабжено толкованиями, комментариями об использовании, примерами употребления; многие включены в синонимические ряды и антонимические пары.
- Предназначен для электронного поиска и показа и совмещающим в себе функции переводного и толкового словаря. Большинство лексических значений снабжено толкованиями, комментариями об использовании, примерами употребления; многие включены в синонимические ряды и антонимические пары.
теорема
ж.р.; мат.
theorem
Physics (Ru-En)
теорема
ж.
theorem
Откройте все бесплатные
тематические словари
Примеры из текстов
Поскольку заключение все еще можно выводить по тому же правилу R, теорема сводится к случаю, рассмотренному двумя абзацами выше.Since the conclusion can still be derived by the same rule R, the theorem follows by the case treated in the second preceding paragraph.Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical LogicFoundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.Основания математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969
Как правило, для доказательства второй части к нашей проблеме полиномиально сводится какая-либо другая NP-полная проблема, а затем применяется теорема 10.5.In general, we show the second part by offering a polynomial-time reduction from some other NT-complete problem, and then invoking Theorem 10.5.Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationIntroduction to automata theory, languages, and computationHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey© 2001 by Addison-WesleyВведение в теорию автоматов, языков и вычисленийХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри© Издательский дом "Вильямс", 2002© Addison-Wesley Publishing Company, Inc. 2001
Теперь остается лишь заметить, что F и теорема 2 доказана.We now need only note that F and Theorem 2 is proved.Боревич, З.И.,Шафаревич И. Р. / Теория чиселBorevich, Z.I.,Shafarevich, I.R. / Number TheoryNumber TheoryBorevich, Z.I.,Shafarevich, I.R.© 1966, by Academic Press Inc.Теория чиселБоревич, З.И.,Шафаревич И. Р.
(теорема Тейлора).(Taylor's Theorem).Мэтьюз, Джон, Г.,Финк, Куртис, Д. / Численные методы. Использование MATLABMathews, John H.,Fink, Kurtis D. / Numerical Methods Using MatlabNumerical Methods Using MatlabMathews, John H.,Fink, Kurtis D.Численные методы. Использование MATLABМэтьюз, Джон, Г.,Финк, Куртис, Д.© Издательский дом "Вильямс", 2001© Prentice Hall, Inc., 1999
Тогда можно взять F, и так как автоморфизм or определяется его действием на F отсюда следует, что F. Следовательно, F является абелевым расширением поля К; теорема 8 доказана.Then we could have taken F. Since F is determined by its effect on F, it follows that F, and therefore f is abelian over K. This proves Theorem 8.Ленг, Серж / Эллиптические функцииLang, Serge / Elliptic FunctionsElliptic FunctionsLang, Serge© 1987 by Springer-Verlag New York Inc.Эллиптические функцииЛенг, Серж© 1973 by Addison- Wesley Publishing Company, Inc.© Перевод на русский язык. Издательство «Наука» Главная редакция физико-математической литературы, 1984
Дело в том, что для них справедлива сильная структурная теорема - спектральная теорема, которая дает ответы на многие (хотя и не все) вопросы об этих операторах.The principal reason for this is the spectral theorem, a powerful structure theorem that answers many (not all) questions about these operators.Murphy, Gerard J. / C*-Algebras and Operator TheoryМёрфи, Дж. / С*-алгебры и теория операторовС*-алгебры и теория операторовМёрфи, Дж.© «Факториал», пер. на русск. яз., 1997© 1990 by Academic Press, Inc.© 1997 by Faktorial Publ. Co.© Академик Пресс, Инк., 1990C*-Algebras and Operator TheoryMurphy, Gerard J.© 1990 by Academic Press, Inc.
Таким образом, проективная теорема доказана в данном случае метрическими средствами.Thus we have proved a projective theorem by metric means.Курант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методовCourant, Richard,Robbins, Herbert / What Is Mathematics? An Elementary Approach to Ideas and MethodsWhat Is Mathematics? An Elementary Approach to Ideas and MethodsCourant, Richard,Robbins, Herbert© 1941 (renewed 1969) by Richard Courant© 1996 by Oxford University Press, Inc.Что такое математика? Элементарный очерк идей и методовКурант, Р.,Роббинс, Г.© МЦНМО, 2001
В свое время эти результаты вселяли надежду на то, что последняя теорема Ферма будет наконец доказана, и приводили к новым задачам, представляющим самостоятельный интерес.At their time, these results raised hopes for the proof of Fermat’s last theorem and led to new research problems of independent interest.Рибенбойм, П. / Последняя теорема Ферма для любителейRibenboim, Paulo / Fermat's Last Theorem for AmateursFermat's Last Theorem for AmateursRibenboim, Paulo© 1999 Springer-Verlag New York, Inc.Последняя теорема Ферма для любителейРибенбойм, П.© перевод на русcкий язык, издательство «Мир», 2003© 1999 Springer-Verlag New York, Inc.
Доказанная теорема верна и для вогнутых многоугольников.The same result holds true for any non-convex polygon.Киселев, А. П. / Геометрия. Часть 1. ПланиметрияKiselev, A.P. / Kiselev's geometry. Book 1. PlanimetryKiselev's geometry. Book 1. PlanimetryKiselev, A.P.©2006 by Alexander GiventalГеометрия. Часть 1. ПланиметрияКиселев, А. П.© Физматлит, 2004
Эта теорема позволяет переформулировать любое утверждение о многообразиях как утверждение об идеалах (и обратно) (если основное поле алгебраически замкнуто).As a consequence of this theorem, any question about varieties can be rephrased as an algebraic question about radical ideals (and conversely), provided that we are working over an algebraically closed field.Кокс, Дэвид,Литтл, Джон,О'Ши, Донал / Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебрыCox, David,Little, John,O'Shea, Donal / Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraIdeals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraCox, David,Little, John,O'Shea, Donal© 1997, 1992 Springer-Verlag New York, Inc.Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебрыКокс, Дэвид,Литтл, Джон,О'Ши, Донал© 1997, 1992 Springer-Verlag New York, Inc.© перевод на русский язык, «Мир», 2000
Тогда непосредственно из приведенного в предыдущем параграфе конформного представления функции z следует такая общая теорема.Then we have directly, from the conformable representation of the preceding paragraph, the following general theorem .Клейн, Ф. / Лекции об икосаэдре и решении уравнений пятой степениKlein, Felix / Lectures on the ikosahedron and the solution of equations of the fifth degreeLectures on the ikosahedron and the solution of equations of the fifth degreeKlein, FelixЛекции об икосаэдре и решении уравнений пятой степениКлейн, Ф.© «Наука». Физматлит, перевод на русский язык, 1989
Классическим примером является теорема Паппа, которая формулируется так.One classic example is Pappus's Theorem, which goes as follows.Кокс, Дэвид,Литтл, Джон,О'Ши, Донал / Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебрыCox, David,Little, John,O'Shea, Donal / Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraIdeals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraCox, David,Little, John,O'Shea, Donal© 1997, 1992 Springer-Verlag New York, Inc.Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебрыКокс, Дэвид,Литтл, Джон,О'Ши, Донал© 1997, 1992 Springer-Verlag New York, Inc.© перевод на русский язык, «Мир», 2000
Так как любой набор карт, удовлетворяющий условиям (1) (4) определения из § 1, очевидно, содержится в единственном максимальном таком наборе, то теорема доказана.Since any collection of charts satisfying conditions (l)-(4) of the definition in Section 1 is easily seen to be contained in a unique maximal such collection, the theorem follows. |Бредон, Г. / Введение в теорию компактных групп преобразованийBredon, Glen / Introduction to compact transformation groupsIntroduction to compact transformation groupsBredon, Glen© 1972, by Academic Press, Inc.Введение в теорию компактных групп преобразованийБредон, Г.© Перевод на русский язык. Издательство «Наука». Главная редакция физико-математической литературы. 1980
Основной теоремой теории Бора является теорема о том, что в неравенстве (3) всегда имеет место знак равенства.The fundamental theorem of the Bohr theory asserts that there is equality in (3) for each almost periodic function (F).Ахиезер, Н. И.,Глазман, И. М. / Теория линейных операторов в гильбертовом пространствеAkhiezer, N.,Glazman, I. / Theory of linear operators in Hilbert spaceTheory of linear operators in Hilbert spaceAkhiezer, N.,Glazman, I.Теория линейных операторов в гильбертовом пространствеАхиезер, Н. И.,Глазман, И. М.
Типическим примером является излагаемая ниже теорема Брауэра.A typical example is the following theorem of Brouwer.Курант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методовCourant, Richard,Robbins, Herbert / What Is Mathematics? An Elementary Approach to Ideas and MethodsWhat Is Mathematics? An Elementary Approach to Ideas and MethodsCourant, Richard,Robbins, Herbert© 1941 (renewed 1969) by Richard Courant© 1996 by Oxford University Press, Inc.Что такое математика? Элементарный очерк идей и методовКурант, Р.,Роббинс, Г.© МЦНМО, 2001
Переводы пользователей
Пока нет переводов этого текста.
Будьте первым, кто переведёт его!
Словосочетания
абсолютная геометрическая теорема
absolute geometrical theorem
абстрактная теорема
abstract theorem
акустическая теорема взаимности
acoustical reciprocity theorem
теорема аддитивности
additivity theorem
теорема адекватности
adequacy theorem
предполагаемая теорема
alleged theorem
теорема об аналитическом перечислении
analytical enumeration theorem
теорема об аналитической иерархии
analytical hierarchy theorem
теорема об аналитичности
analyticity theorem
аппроксимационная теорема
approximation theorem
теорема аппроксимации
approximation theorem
теорема об арифметическом перечислении
arithmetical enumeration theorem
теорема об арифметической иерархии
arithmetical hierarchy theorem
теорема об объединении сомножителей
associative theorem
теорема об асимптотическом поведении переходных вероятностей
asymptotic passage theorem
Формы слова
теорема
существительное, неодушевлённое, женский род
| Ед. ч. | Мн. ч. | |
| Именительный | теорема | теоремы |
| Родительный | теоремы | теорем |
| Дательный | теореме | теоремам |
| Винительный | теорему | теоремы |
| Творительный | теоремой, теоремою | теоремами |
| Предложный | теореме | теоремах |