Sta znaci na Engleskom АКСИОМАМ - prevod na Енглеском

• axioms

Примери коришћења Аксиомам на Руском и њихови преводи на Енглески

Тогда, по аксиомам, определяющим упорядоченное поле, ω, ω2 и 1 все положительны.
Then, by the axioms defining an ordered field, ω, ω2, and 1 are all positive.

Отношение« изоморфно» удовлетворяет всем аксиомам отношения эквивалентности.
The relation"being isomorphic" satisfies all the axioms of an equivalence relation.

Невежественная, повторяю, противоречащая всем аксиомам и теоремам нашего подвоха, пагубная для людского сознания глупость.
Ignorant, I repeat, contradicting all axioms and theorems of our dirty trick, harmful for human consciousness nonsense.

Важным является тот факт, что и теорема Блюма об ускорении, и теорема о промежутке верны для любых мер сложности, удовлетворяющих этим аксиомам.
Importantly, Blum's speedup theorem and the Gap theorem hold for any complexity measure satisfying these axioms.

Классы Чженя удовлетворяют следующим четырем аксиомам: Аксиома 1. c( E) 1{\ displaystyle c_{}( E)= 1} для всех расслоений E. Аксиома 2.
The Chern classes satisfy the following four axioms: Axiom 1. c 0( E) 1{\displaystyle c_{0}(E)=1} for all E. Axiom 2.

Набор архетипов openEHR должен быть проверен на качество( недоступная ссылка), чтобы удовлетворять нескольким аксиомам, таким как взаимоисключение.
A set of openEHR archetypes needs to be quality managed to conform to a number of axioms such as being mutually exclusive.

Тернарное отношение, удовлетворяющее первым трем аксиомам, но не обязательно аксиоме полноты, называется частичным циклическим порядком.
A ternary relation that satisfies the first three axioms, but not necessarily the axiom of totality, is a partial cyclic order.

Обобщенный четырехугольник- это структура инцидентности( P, B, I), где I⊆ P× B{\ displaystyle\ mathrm{ I}\ subseteq P\ times B}- отношение инцидентности, удовлетворяющее определенным аксиомам.
A generalized quadrangle is an incidence structure(P, B, I), with I⊆ P× B an incidence relation, satisfying certain axioms.

Может быть показано, что установка цен когерентна, когда они удовлетворяют аксиомам вероятности и зависимым результатам, таким как формула включений- исключений но не обязательно исчисляемой аддитивности.
It can be shown that the set of prices is coherent when they satisfy the probability axioms and related results such as the inclusion-exclusion principle but not necessarily countable additivity.

Абстрактный многогранник- это частично упорядоченное множество, элементы которого мы называем гранями, удовлетворяющий следующим четырем аксиомам: Он имеет наименьшую грань и наибольшую грань.
An abstract polytope is a partially ordered set, whose elements we call faces, satisfying the 4 axioms: It has a least face and a greatest face.

Один воспаряет от ощущений и частностей к наиболее общим аксиомам и, идя от этих оснований и их непоколебимой истинности, обсуждает и открывает средние аксиомы..
The one flies from the senses and particulars to the most general axioms, and from these principles, the truth of which it takes for settled and immoveable, proceeds to judgment and to the discovery of middle axioms..

Такие принципы, как принцип" диалога между цивилизациями", столь же чужды догматическим принципам позитивистов и аксиомам модернистов, как и безграничному скептицизму постмодернистов.
Principles such as that of the"dialogue among civilizations" are just as much in opposition to the dogmatic principles of positivists and the axioms of modernists, as they are to the unlimited scepticism of post-modernists.

Статья посвящена аксиомам права как ценностно- регулятивным основаниям юридического дискурса, объясняющим выбор действий и предписывающим развитие коммуникативных событий в институциональной среде.
The article is devoted to the axioms of law as a value-regulatory foundations for legal discourse, explaining the choice of actions and directing the development of the communicative events in the institutional environment.

Наиболее изучаемые структуры инциденций, это структуры, удовлетворяющие некоторым дополнительным свойствам( аксиомам), такие как проективные плоскости, аффинные плоскости*, обобщенные многоугольники, частичные геометрии и почти многоугольники.
Incidence structures that are most studied are those that satisfy some additional properties(axioms), such as projective planes, affine planes, generalized polygons, partial geometries and near polygons.

На языке теории категорий это- групповые объекты в категории; иными словами, это- объекты( т. е., например, множества, обладающие определенной математической структурой), для которых задан класс некоторых преобразований( именуемых морфизмами), следующих аксиомам группы.
In the language of category theory, they are group objects in a category, meaning that they are objects(that is, examples of another mathematical structure) which come with transformations(called morphisms) that mimic the group axioms.

После открытия плоскости Фано, конечной геометрии, в которой диагональные точки полного четырехугольника коллинеарны, некоторые авторы добавляют к аксиомам проективной геометрии аксиому Фано, постулирующую, что диагональные точки не коллинеарны.
Due to the discovery of the Fano plane, a finite geometry in which the diagonal points of a complete quadrangle are collinear, some authors have augmented the axioms of projective geometry with Fano's axiom that the diagonal points are not collinear.

Коммутативное кольцо, описанное на языке универсальной алгебры- это набор< R,+,*, a,, 1>, удовлетворяющий определенным аксиомам; здесь+ и*- бинарные операции на множестве R, a- унарная операция( взятие противоположного элемента по сложению), и 1- нульарные операции взятия тождественных элементов по сложению и умножению.
A(unital) ring, described in the language of universal algebra, is an ordered tuple(R,+,*, a, 0,1) satisfying certain axioms, where"+" and"*" are binary functions on the set R, a is a unary operation corresponding to additive inverse, and 0 and 1 are nullary operations giving the identities of the two binary operations.

В дистрибутивной решетке Биркхофа самодвойственная тернарная операция медианы m( a, b, c)( a∧ b)∨( a∧ c)∨( b∧ c)( a∨ b)∧( a∨ c)∧( b∨ c), удовлетворяет некоторым ключевым аксиомам, которые свойственны обычным медианам чисел в отрезке от до 1 и медианным алгебрам: Идемпотентность: m( a, a, b) a для всех a и b.
In a distributive lattice, Birkhoff's self-dual ternary median operation m(a, b, c)(a∧ b)∨(a∧ c)∨(b∧ c)(a∨ b)∧(a∨ c)∧(b∨ c), satisfies certain key axioms, which it shares with the usual median of numbers in the range from 0 to 1 and with median algebras more generally: Idempotence: m(a, a, b) a for all a and b.

Аксиома i3 является нашим самым удобным и простым в использовании, но до нашей эры.
The Axiom i3 is our most comfortable and easy-to-use BC yet.

Замена аксиомы асимметрии на комплементарную версию приводит к определению коциклического порядка.
Replacing the asymmetry axiom with a complementary version results in the definition of a co-cyclic order.

Если мы не принимаем аксиому выбора, требуется иной подход.
If the axiom of choice is not assumed we need to do something different.

Доказательство требует аксиомы выбора или ее слабой формы.
The proof requires either the axiom of choice or a weakened form of it.

Правилом преобразования служит вторая аксиома Уайтмана квантовой теории поля.
The transformation rule is the second Wightman axiom of quantum field theory.

Все аксиомы также входят в число теорем.
Every axiom is also a theorem.

Без этой аксиомы, теории может быть применен в трехмерном или более- мерном пространстве.
Without this axiom, the theory could be modeled by three-dimensional or higher-dimensional space.

Из аксиомы вытекает, что бинарное отношение параллельности прямых является серийным отношением.
A corollary of the axiom is that the binary relation of parallel lines is a serial relation.

Руководствуясь аксиомой объемности, можно доказать единственность пустого множества.
We can use the axiom of extensionality to show that there is only one empty set.

Он также предложил аксиому Никода и разработал критерий Никода.
He also proposed the Nicod's axiom and developed Nicod's criterion.

С тех пор что несчастливая аксиома пришла в пользу, вся вселенный изменяла.
Since that unfortunate axiom came into use, the whole universe has changed.

АКСИОМА- мы делаем все типы проектов!
AKSIOMA- we do all types of projects!