A THEOREM in Russian translation

• теорема
• теорему
• теоремы
• теореме

Examples of using A theorem in English and their translations into Russian

the last of which is a theorem of a formal system.
последняя из которых рассматривается как теорема формальной системы.

His work reinterprets Riemann-Roch not as a theorem about a variety, but about a morphism between two varieties.
Его работа дает другое толкование теоремы Римана- Роха, не как теоремы о многообразии, а как теоремы о морфизме между двумя многообразиями.

He proves a theorem on stereographic projection.
и доказывает теорему о стереографической проекции.

It is in that qualified sense that the Born rule is, for the de Broglie-Bohm theory, a theorem rather than(as in ordinary quantum theory) an additional postulate.
Правило Борна в теории де Бройля- Бома является теоремой, а не дополнительным постулатом как в обычной квантовой теории.

Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants.
Как и ESC/ Java, язык содержит инструмент статической проверки, основанный на доказательстве теорем, позволяющий статически проверять большинство таких инвариантов.

A theorem on isomorphic mapping of the resource structure of the production system in the binary tree structure of optimal aggregation.
Доказана теорема об изоморфном отображении ресурсной структуры производственной системы в структуру бинарного дерева оптимального агрегирования.

The terminology introduced above is coherent with this, as a theorem due to Borel
Терминология, представленная выше, сцеплена с этой, поскольку теорема, принадлежащая Борелю

It is a theorem that any orientable compact manifold with a boundary component that is not a sphere has an infinite first homology group,
Есть теорема, что любое ориентируемое компактное многообразие, имеющее компоненту с краем, не являющейся сферой, имеет бесконечную первую гомологическую группу,

He establishes a theorem that is without Euclidean analogue,
Он представил теорему, для которой нет аналога у Евклида,

A theorem that was central to Ptolemy's calculation of chords was what is still known today as Ptolemy's theorem,
Теорема, которая была центральной в вычислении хорд Птолемея, также известна сегодня как теорема Птолемея, которая говорит о том,

By a theorem of Alon and Boppana,
По теореме Алона( Alon)

for example, a theorem of extreme values that will help identify another 20% of the risks that have not yet been registered," Shteinberg commented.
добавить к классическим теоремам, например, теорему об экстремальных значениях, которая позволит учесть дополнительные 20% финансовых рисков»,- сказала Екатерина Штейнберг.

The earliest result of this type is a theorem of Klaus Wagner(1937) that graphs with no K5
Самым ранним результатом такого типа является теорема Вагнера о том,

By a theorem of Friedman(2003), random d-regular graphs on n vertices are almost Ramanujan, that is, they satisfy λ≤
По теореме Фридмана( Friedman, 2003) случайный d- регулярный граф с n вершинами является почти графом Рамануджана,

the closure of the 3-string braid σ1σ2-1σ1σ2-1), and a theorem of John Stallings shows that any closed homogeneous braid is fibered.
замыканием косы с 3 нитями σ1σ2- 1σ1σ2- 1), а теорема Джона Сталлингса( англ.) русск. показывает, что любая однородная коса является расслоенной.

Noda felt like the album was a theorem explaining himself, that it was a solution to all of his worries
Нода чувствовал, что альбом был теоремой, которая объясняла его самого, что альбом был решением всех его переживаний

A theorem(whose origin can be traced back to von Laue
Теорема( происхождение которой можно проследить до фон Лауэ

In a case where the function describes the intensity of commodity trade, a theorem about its stagnation zones gives us(under appropriate restrictions on the selected model)
В случае, когда функция характеризует интенсивность товарообмена на том либо ином географическом пространстве, теоремы о ее зонах стагнации дают, при надлежащих ограничениях на выбираемую модель,

in theoretical computer science, where it was used to prove a theorem about the problem MAXEkSAT. k-wise independence is used in the proof that k-independent hashing functions are secure unforgeable message authentication codes.
n{\ displaystyle n}- арная независимость использовалась в теоретической информатике для доказательства теоремы о задаче MAXEkSAT.

In mathematics, Friedrichs's inequality is a theorem of functional analysis,
Неравенство Фридрихса- теорема функционального анализа,