Примери коришћења Теорем на Руском и њихови преводи на Енглески
{-}
-
Colloquial
-
Official
Нет теорем, нет доказательств.
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.Combinations with other parts of speech
Употреба придјева
основная теорема
Употреба именицама
теоремы пифагора
Это одна из теорем, известных как японская теорема.
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 В них действует только подмножество теорем классической логики.
Only a subset of the theorems from Но я был не слишком хорош в запоминании деталей как имена теорем.
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 Сборник задач и теорем по теории функций действительной переменной.
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 Как следствие мы получаем весовые аналоги теорем Винера и Леви для рядов Фурье- Виленкина.
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 andothers 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.
