Що таке ТЕОРЕМИ Англійською - Англійська переклад

• theorem
• theory
• theorems

Приклади вживання Теореми Українська мовою та їх переклад на Англійською

Теореми Штейнера.
Theorem Steiner.

Межі теореми.
Boundaries to the theorem.

Враховуючи умови теореми, маємо.
Applying the theorem, we have.

Теореми лінійного програмування:.
Theory of Linear Programming:.

Це доведення теореми для n= 2.
This proves the theorem for n= 2.

Теореми лінійного програмирования:.
Theory of Linear Programming:.

Таким чином, всі умови теореми задовольняються.
Thus, all conditions of the Theorems are satisfied.

Чи не знаєте ви теореми, яка могла б виявитися корисною?
Do you know a theorem that could be useful?

Цей наслідок випливає з теореми 2 і леми 2.
The theorem directly follows from the Lemmas 2 and 3.

Її твердження і теореми не виводяться з досвіду.
Its statements and propositions are not derived from experience.

Прийнятні правила можна розглядати як теореми системи доведення.
Admissible rules can be thought of as theorems of a proof system.

Всі умови з теореми необхідні: 1.
All the conditions in the statement of the theorem are necessary: 1.

Доведено теореми про існування та єдиність розв'язків цієї задачі.
The theorems on existence and uniqueness of solutions of this problem are proved.

У понятті грошей вже укладені всі теореми грошової теорії.
In the concept of money all the theorems of monetary theory are already implied.

З першої частини теореми, ми знаємо G також первісна f.
By the first part of the theorem, we know G is also an antiderivative of f.

Теореми геометрії Евкліда вірні, якщо йдеться про простір з нульовою кривизною.
The theorems of Euclidean geometry are true if we are talking about a space with zero curvature.

Під час цього періоду він випустив свою роботу про теореми типу Бертіні що містяться в EGA 5, виданій в 2004 році.
During that period he also released his work on Bertini type theorems contained in EGA 5, published by the Grothendieck Circle in 2004.

Теореми, що відносяться до непрямого обміну, непридатні в умовах, де непрямий обмін відсутній.
The theorems referring to indirect exchange are applicable to conditions where there is no indirect exchange.

Це означало, що доказ напівстабільності випадку теореми Таніями-Шимури підтверджує правдивість Великої теореми Ферма.
It meant that proving of a semi-stable case of Taniyama-Shimura theorem confirms truthfulness of Fermat's Great Theorem.

Прямi й оберненi теореми теорiї наближень розв'язкiв диференцiальних рiвнянь у банаховому просторi.
The direct and inverse theorems of the approximation theory for solutions of differential equations in a Banach space.

Теорема про метелика Краща теорема про метелика Доведення теореми про метелика на PlanetMath Теорема про метелика Джея Варендорфа.
The Butterfly Theorem at cut-the-knot A Better Butterfly Theorem at cut-the-knot Proof of Butterfly Theorem at PlanetMath The Butterfly Theorem by Jay Warendorff, the Wolfram Demonstrations Project. Weisstein, Eric W."Butterfly Theorem".

Усі теореми праксиологии відносяться тільки до категорій діяльності і дійсні лише в орбіті їх дії.
All the theorems of praxeology refer only to these categories of action and are valid only in the orbit of their operation.

Важливим припущенням теореми є те, що ні Алісі, ні Бобу не дозволено жодним чином впливати на приготування початкового стану.
An important assumption going into the theorem is that neither Alice nor Bob is allowed, in any way, to affect the preparation of the initial state.

Теореми, отримані в результаті правильних праксиологических міркувань, не тільки абсолютно вірні і незаперечні, подібно істинним математичним теоремам.
The theorems attained by correct praxeological reasoning are not only perfectly certain and incontestable, like the correct mathematical theorems..

Всі теореми праксиологии відносяться тільки до категорій діяльності та дійсні лише в орбіті їх дії.
All the theorems of praxeology refer only to these categories of action and are valid only in the orbit of their operation.

Теореми є необхідними і особливою турботою математики, і коли вони говорять про це, робиться посилання на ті твердження, які можуть бути підтверджені в межах логічної основи.
The theorems are expedient and special concern of mathematics and when speaking of them refers to those statements that can be demonstrated as true within a logical framework.

Основний теореми Майерсон, тепер називається доходів теореми еквівалентності, форми важливою частиною великої літератури про механізм розробки і використовується особливо сильно в дизайн аукціонах.
Myerson's fundamental theorem, now called the revenue equivalence theorem, forms a crucial part of a vast literature on mechanism design and is used especially heavily in the design of auctions.