АКСИОМ на Английском - Английский перевод

• axioms
• axiom

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

Это как если бы математики начинали бы с аксиом.
It's as if mathematicians would start with the axioms.

Но реально никто не начинает с аксиом, все начинают с доказательств.
But realistically, no one starts with axioms, all begin with the evidence.

Описанные выше свойства зависят от некоторых аксиом для групп.
The above properties depend on some axioms valid for groups.

Его существование выводится из набора аксиом и подтверждается практикой.
TIM existence is deduced from a set of the axioms and proves by practice.

Я сумел дозвониться до корпоративного офиса" Аксиом Парсел.
Finally got through to Axiom Parcel Delivery's corporate office.

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

На втором шаге накладываются дополнительные ограничения- требования выполнимости аксиом нормализации и склейки.
The second step is to require the normalisation and gluing axioms.

В 1902 году он доказал, что одна из аксиом Гильберта следует из остальных.
In 1902, he further showed that one of Hilbert's axioms for geometry was redundant.

Этот оттенок фиолетового запатентованный цвет компании" Аксиом Парсел Деливери" или АПД.
That shade of purple is a proprietary color owned by Axiom Parcel Delivery, or APD.

Это- аксиоматический метод. Ясно, что далеко не любой набор утверждений может быть выбран в качестве аксиом.
It is clear that not just any set of statements can be chosen as axioms.

Отделимость В общем случае факторпространства плохо себя ведут относительно аксиом отделимости.
Separation In general, quotient spaces are ill-behaved with respect to separation axioms.

Под руководством Халстеда Мур доказал, что одна из аксиом Гильберта является излишней.
An assignment of Halsted's led Moore to prove that one of Hilbert's axioms for geometry was redundant.

Контексты содержат статическую, неизменяемую часть спецификации: определения констант, множеств и аксиом.
Contexts contain the static part of a specification: constants, carrier sets, axioms.

Поведение рационального человека в условиях риска: критика постулатов и аксиом американской школы.
Behavior of rational human under risk: Critiques of postulates and aksioms of American school.

Одной из аксиом годовых национальных счетов является принцип однородности цен на протяжении всего периода.
One of the axioms of annual national accounts is that there is price homogeneity over that period.

Гармония течения мыслей и настрой, дающий возможность коснуться аксиом, составляющих основу бытия.
The harmony of mind and a specific mood that brings to mind the axioms concerning the basis of Being.

Из аксиом можно показать, что любая секция является многогранником и что Rank( G/ F) Rank( G)- Rank( F)- 1.
It can be shown from the axioms that every section is a polytope, and that Rank(G/F) Rank(G)- Rank(F)- 1.

И все это содержится в данной книге: от краткого описания Саентологии до основных Аксиом и кодексов.
And it's all contained in this handbook, from a Summary of Scientology to its basic Axioms and Codes.

Она ближе к практике принятия решения, но она не выдерживает всех тех аксиом, которые заложены в микроэкономической теории.
It is closer to the practice of making a decision, but it can not stand all those axioms, which are incorporated in a microeconomic theory.

С точки зрения синтетической геометрии проективную геометрию следует создавать, используя такие утверждения в качестве аксиом.
From the point of view of synthetic geometry, projective geometry should be developed using such propositions as axioms.

В октябре, сведя эти знания в систему и изложив их в виде Логик и Аксиом, Рон поделился ими на специально созванной конференции одиторов.
In October, codifying this knowledge into the Logics and Axioms, Ron unveiled them to a specially convened conference of auditors.

Константа зависит от того, насколько данная формальная система богата, и, таким образом, прямо не отражает сложность системы аксиом.
The constant N depends on how the formal system is effectively represented, and thus does not directly reflect the complexity of the axiomatic system.

Безупречный( до каких пор?) выбор аксиом был предложен Гильбертом в двадцатом столетии, но он довольно неудобен, особенно в средней школе.
An impeccable choice of axioms(until when?) was proposed by Hilbert in the twentieth century, but it is not easy to use, especially in secondary school.

Такая совокупность, формализуемая теорией множеств Цермело- Френкеля( ZFC) часто используется в качестве интерпретации или обоснования ZFC- аксиом.
This collection, which is formalized by Zermelo-Fraenkel set theory(ZFC), is often used to provide an interpretation or motivation of the axioms of ZFC.

Таким образом, континуум- гипотезу в этой системе аксиом невозможно ни доказать, ни опровергнуть при условии, что эта система аксиом непротиворечива.
CH is independent of ZFC: it can be neither proven nor disproven within the context of that axiom system provided that ZFC is consistent.

На базе системы аксиом конструируется модель социона в виде категории и доказывается, что эта категория является расплывчатым топосом, т. е. топосом расплывчатых множеств Ω- Set.
Model of socion in category form on the basis of axiom systems is constructed. This category is fuzzy topos that is topos Ω-Set is driven.

И, конечно, сами процессы были взяты прямо из этих Аксиом и большей частью из Аксиомы об общении- из исключительной важности и силы общения.
And, indeed, the processes themselves were drawn right from those Axioms and, most particularly, the singular importance and power of Communication.

Таким образом, оценка доказательств может быть изменена кассационной инстанцией, если слушавший дело суд отошел от правил логики, аксиом опыта или научных знаний.
Thus a decision on evidence can be corrected in appeal when the court that heard the case departed from the rules of logic, the axioms of experience or scientific knowledge.

Определение Аксиом как« умозаключений, по поводу которых существует согласие», подробное исследование законов мыслезаключений и их применения к способностям тэтана и общению.
The definition of the Axioms as"agreed-upon considerations," covering in depth the laws of consideration and their application in communication and a thetan's ability;

С помощью ApplySides возможны применения алгебраических операций к обеим частям уравнений и неравенств, а FindEquationalProof предоставит доказательства теорем эквациональной логики построенных из данных аксиом.
Apply algebraic operations to both sides of equations and inequalities with ApplySides, and find proofs for equational logic theorems from axioms with FindEquationalProof.