АКСІОМ - переклад на Англійською

• axioms
• axiom

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

логічні правила виводу наслідків(або теорем) з аксіом, а також похідних,
logical rules for deducing corollaries(or theorems) from axioms, as well as derived,

вивести його з основного набору аксіом або[ цитування] принципів.
derive it from a core set of axioms or principles.[citation needed].

існування суперечності у формальній системі аксіом є катастрофою;
the existence of a contradiction(inconsistency) in a formal axiomatic system is disastrous;

про доказ незалежності свого набору аксіом для проективного n-простору,[7]
on proving the independence of his set of axioms for projective n-space,[6]

У своїй статті[1] про доказ незалежності свого набору аксіом для проективного n-простіру,[2]він розглядав,
In his article[2] on proving the independence of his set of axioms for projective n-space,[3] among other things,

Неоднозначний характер аксіом, сформульований Евклідом, дає змогу різним аналітикам не погодитися з деякими їхніми наслідками для структури простору, наприклад,
The ambiguous character of the axioms as originally formulated by Euclid makes it possible for different commentators to disagree about some of their other implications for the structure of space,

Що стосується аксіом теорії імовірностей,
As to the axioms of the theory of probabilities,

Він також заявляє, що для мови програмування краще, коли в її основі лежить мала кількість аксіом, навіть коли це означає, що у мові не буде деяких значних організаційних можливостей, таких як об'єктне орієнтування, хоча багато програмістів цього бажають.
He also stated that it is better for a language to only implement a small number of axioms, even when that means the language may not have features that large organizations want, such as object-orientation(OO).

ці фігури могли отримати значення аксіом….
these can achieve the significance of an axiom.

можна сформулювати аритметику за допомогою єдиного набору аксіом.
one could formulate arithmetic in terms of a single set of axioms.

можна сформулювати аритметику за допомогою єдиного набору аксіом.
one could formulate arithmetic in terms of a single set of axioms.

Як і в деяких інших областях математики, прийнято вважати також, що стек станів тільки ті, чиє існування може бути доведено з аксіом в кінцеве число кроків.
As in some other branches of mathematics, it is customary to assume also that the stack states are only those whose existence can be proved from the axioms in a finite number of steps.

постійного символу ε і прилеглу до Σ аксіому ε> 0 і аксіом ε<1/ n для всіх натуральних чисел n.
adjoining to Σ the axiom ε> 0 and the axioms ε< 1/n for all positive integers n.

Звідси випливає, що для будь-якої природної мови повинна бути можливість дати теоретичну семантику, яка могла б дати значення нескінченного числа пропозицій на основі кінцевої системи аксіом.
It follows that it must be possible to give a theoretical semantics for any natural language that could give the meanings of an infinite number of sentences on the basis of a finite system of axioms.

ці фігури могли отримати значення аксіом….
these figures could obtain the significance of axioms.

набагато більш невизначені і довільні цілі, такі як«математичний виклад аксіом фізики» і«подальший розвиток варіаційного числення».
more open-ended goals such as“the mathematical treatment of the axioms of physics” and“the further development of the calculus of variations.”.

Оскільки будь-яка модель P* є моделлю P(оскільки модель набору аксіом, очевидно, також є моделлю будь-якої підмножини цього набору аксіом), ми маємо, що наша розширена модель є також моделлю аксіом Пеано.
Since any model of P* is a model of P(since a model of a set of axioms is obviously also a model of any subset of that set of axioms), we have that our extended model is also a model of the Peano axioms..

Таке, в свою чергу, може буде зроблене перетворенням усіх аксіом на явні, як у випадку відомої книги Пола Халмоша«Наївна теорія множин»,
It can be done by systematically making explicit all the axioms, as in the case of the well-known book Naive Set Theory by Paul Halmos,

Ну, ось ряд аксіом, якими Habit Labs вирішили керуватись, у своєму колективі, коли працюють над цими програмами- такий собі ряд моральних принципів,
Well, here is the set of axioms that Habit Labs,

Для виведення теорем з аксіом(і взагалі одних формул з інших) формулюються спеціальні правила виводу(наприклад, т. з. правило modus ponens-«правило закреслення»,
In order to derive theorems from axioms and, in general, certain formulas from others, special rules of derivation were formulated;