THEOREM - переклад на Українською

• теорема
• теорем
• про теорему
• теореми
• теоремою

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

Wold's decomposition theorem.
Теорема декомпозиції Вольда.

No experience has ever contradicted this theorem.
Ніякої досвід ніколи не вступав у протиріччя з цією теоремою.

Sperner's theorem.
Теорема Спернера.

The lower bound 1/72 in Bloch's theorem is not the best possible.
Константа 1/72 в теоремі Блоха не є оптимальною.

others use automated theorem proving to verify that division
інших фірм автоматичне доведення теорем використовується для перевірки того,

Moreover, the power and authority of geometry's theorem and proof structure greatly influenced non-geometric treatises,
Навіть більше, влада та авторитет теорем геометрії й структури доказу сильно вплинули на негеометричні трактати,

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".
Теорема про метелика Краща теорема про метелика Доведення теореми про метелика на PlanetMath Теорема про метелика Джея Варендорфа.

The language has been used for theorem proving, expert systems,
Її застосовували як для доведення теорем, експертних систем,

By a theorem of Descartes, this is equal to 4π divided by the number of vertices(i.e. the total defect at all vertices is 4π).
За теоремою Декарта, він дорівнює 4π діленим на число вершин(тобто сумарний дефект при всіх вершинах дорівнює 4π).

others, automated theorem proving has been used to verify that the divide and other operations are correct.
інших фірм автоматичне доведення теорем використовується для перевірки того, що ділення і інші операції виконуються коректно.

This was finally proven as the strong perfect graph theorem of Chudnovsky, Robertson, Seymour, and Thomas(2006).
Це остаточно доведено строгою теоремою про досконалі графи Чудновського, Робертсона, Сеймора та Томаса(2006).

These properties of Horn clauses can lead to greater efficiencies in proving a theorem(represented as the negation of a goal clause).….
Ці властивості диз'юнктів Горна можуть приводити до підвищення ефективності у доведенні теорем(представлених як заперечення цільового твердження).

a conjecture has ripened into a theorem.
припущення не визріють до теорем.

Theorem 13: Any piece of information has been transmitted by somebody
Теорема 13: Будь-яка частина інформації була кимось передана

It includes many other theorems, such as the Riemann- Roch theorem, as special cases,
Вона містить багато інших теорем, серед яких Теорема Рімана- Роха,

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

Theorem 14: Any entity,
Теорема 14: будь-яка сутність, щоб бути прийнятою

He later called this process the“regression theorem,” and as it turns out,
Пізніше він назвав цей процес“теоремою регресії” і, як виявилось,

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

The Tietze extension theorem asserts that if X is a normal topological space, A.
Теорема Тітце про продовження стверджує, що якщо X є нормальним топологічним простором і.