ТЕОРЕМ на Английском - Английский перевод

• theorems
• theorem

Примеры использования Теорем на Русском языке и их переводы на Английский язык

Нет теорем, нет доказательств.
There's no theorem, no proof.

Все аксиомы также входят в число теорем.
Every axiom is also a theorem.

Последовательность теорем можно продолжать бесконечно.
The sequence of theorems can be continued indefinitely.

Кризис и модернизация России- тринадцать теорем.
The crisis and the modernization of Russia- thirteen theorems.

Далее приведены некоторые примеры теорем о допустимости.
The following are some specific examples of admissibility theorems.

Это одна из теорем, известных как японская теорема.
This is one of the theorems known as the Japanese theorem.

Это плодотворная точка зрения для поиска интересных теорем.
This has been a fruitful point of view in finding interesting new theorems.

Формулировка теорем существования и единственности решения.
Wording of theorems of existence and uniqueness of solution.

В них действует только подмножество теорем классической логики.
Only a subset of the theorems from the classical logic hold.

Но я был не слишком хорош в запоминании деталей как имена теорем.
But I wasn't too good in remembering details like the names of theorems.

Приводится также механический смысл теорем и иллюстрирующие примеры.
We also give a mechanical sense of Theorems and illustrative examples.

О весовых аналогах теорем винера и леви для рядов фурье- виленкина.
On Weighted Analogs of Wiener's and Levy's Theorems for Fourier- Vilenkin Series.

Приведенный результат дополняется рядом теорем типа Валле- Пуссена.
The result above is supplemented by some de la Vallée Poussin type theorems.

Один из самых важных теорем геометрии заявление Фалес из Милета.
One of the most important theorems of geometry is the statement by Thales of Miletus.

Устанавлены обобщенные аналоги теорем Бари, Шура, Новикова и Czaja.
The generalized analogues of theorems of Bari, Schur, Novikov and Czaja are established.

Сборник задач и теорем по теории функций действительной переменной.
Ochan YS Collection of problems and theorems in the theory of functions of a real variable.

На самом деле она не привела ни к чему новому и сильному, кроме теорем того же рода.
It didn't actually lead into anything new and powerful except more theorems of the same kind.

Предоставление пользователю теорем и аксиом, необходимых для решения задачи.
Providing the user with theorems and axioms necessary for solving the task.

Рассматриваются несколько вариантов доказательств при решении некоторых задач и теорем.
Several variants of proofs are considered in the solution of certain problems and theorems.

Множество важных минимаксных теорем комбинаторики можно выразить в этих терминах.
Many important min-max theorems in combinatorics can be expressed in these terms.

Формальные доказательства строят с помощью компьютера в интерактивной системе доказывания теорем.
Formal proofs are constructed with the help of computers in interactive theorem proving.

Получено обобщение теорем Коэна для модулей и некоммутативных колец.
Generalization of theorems of Cohen is got for the modules and non-commutative rings.

Как следствие мы получаем весовые аналоги теорем Винера и Леви для рядов Фурье- Виленкина.
As a corollary, we obtain weighted analogs of Wiener's and Levy's theorems for Fourier- Vilenkin series.

Применения тауберовых теорем в некоторых задачах математической физики// ТМФ. 2008.
Tauber theorems application in the several problems of the mathematical physics(in Russian)// TMF. 2008.

Иерархия делает возможность доказательства некоторых видов теорем о многообразиях Хакена по индукции.
The hierarchy makes proving certain kinds of theorems about Haken manifolds a matter of induction.

Сначала здесь рассматривается теорем о шести окружностях или теорема о четырех пучках.
At first theorem of six circles or the theorem of four bundles is considered here.

Эта группа и ее силовская 2- подгруппа дают контрпример для различных теорем о нормальном p- дополнении для p 2.
This group and its Sylow 2-subgroup provide a counter-example for various normal p-complement theorems for p 2.

Доказывается девять теорем о структуре S{\ displaystyle S} и экспериментах с S{\ displaystyle S.
Nine theorems are proved about the structure of S{\displaystyle S}, and experiments with S{\displaystyle S.

В новых процессорах AMD, Intel и других фирм автоматическое доказательство теорем используется для проверки того, что деление и другие операции выполняются корректно.
AMD, Intel and others use automated theorem proving to verify that division and other operations are correctly implemented in their processors.

Список ошибочно названных теорем Список нескольких открытий Список научных приоритетных споров" Bessemer process", Bessemer process.
List of misnamed theorems List of multiple discoveries List of scientific priority disputes"Bessemer process.