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 8 dictionaries

The Universal Dictionary
  • It is intended for a full-text search and it significantly expands the possibilities of working with lexical items from the Russian glossary of LingvoUniversal. Contains usage examples, synonyms, and antonyms.

теорема

ж.р.; мат.

theorem

Learning (Ru-En)

теорема

ж мат

theorem

Unlock all free
thematic dictionaries

Examples from texts

Поскольку заключение все еще можно выводить по тому же правилу 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 Logic
Foundations of Mathematical Logic
Curry, 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 computation
Introduction to automata theory, languages, and computation
Hopcroft, 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 Theory
Number Theory
Borevich, Z.I.,Shafarevich, I.R.
© 1966, by Academic Press Inc.
Теория чисел
Боревич, З.И.,Шафаревич И. Р.
(теорема Тейлора).
(Taylor's Theorem).
Мэтьюз, Джон, Г.,Финк, Куртис, Д. / Численные методы. Использование MATLABMathews, John H.,Fink, Kurtis D. / Numerical Methods Using Matlab
Numerical Methods Using Matlab
Mathews, 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 Functions
Elliptic Functions
Lang, 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.
© Академик Пресс, Инк., 1990
C*-Algebras and Operator Theory
Murphy, 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 Methods
What Is Mathematics? An Elementary Approach to Ideas and Methods
Courant, 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 Amateurs
Fermat's Last Theorem for Amateurs
Ribenboim, 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. Planimetry
Kiselev's geometry. Book 1. Planimetry
Kiselev, 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 Algebra
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra
Cox, 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 degree
Lectures on the ikosahedron and the solution of equations of the fifth degree
Klein, 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 Algebra
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra
Cox, 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 groups
Introduction to compact transformation groups
Bredon, 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 space
Theory of linear operators in Hilbert space
Akhiezer, 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 Methods
What Is Mathematics? An Elementary Approach to Ideas and Methods
Courant, Richard,Robbins, Herbert
© 1941 (renewed 1969) by Richard Courant
© 1996 by Oxford University Press, Inc.
Что такое математика? Элементарный очерк идей и методов
Курант, Р.,Роббинс, Г.
© МЦНМО, 2001

Add to my dictionary

теорема1/8
Feminine nountheorem

User translations

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

Collocations

абсолютная геометрическая теорема
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

Word forms

теорема

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