англо » русский

Переводы „axiom“ в словаре англо » русский (Перейти к русско » английский)

axiom [ˈæksɪəm] СУЩ. офиц.

axiom

Одноязычные примеры (не проверены редакцией PONS)

английский
It makes use of just two logical operators: implication and negation, and it is constituted by six axioms and one inference rule: modus ponens.
en.wikipedia.org
Accepting only the axiom schema of specification was the beginning of axiomatic set theory.
en.wikipedia.org
His proofs often invoke axiomatic notions which were not originally presented in his list of axioms.
en.wikipedia.org
This means that the two sets of axioms are interdependent and there is no axiom in one set which is independent from the other set.
en.wikipedia.org
Some of the most frequent axioms used in the building of bargaining solutions are efficiency, symmetry, independence of irrelevant alternatives, scalar invariance, monotonicity, etc.
en.wikipedia.org
Repeated generations of deflation produce a tiling of the original axiom shape with smaller and smaller tiles.
en.wikipedia.org
The set of axioms is often finite or recursively enumerable, in which case the theory is called effective.
en.wikipedia.org
Some authors require theories to also include all logical consequences of the axioms.
en.wikipedia.org
Induction axioms are also implicit, and are needed only to prove program properties.
en.wikipedia.org
As a point of principle, it was regularly cited (often by goths themselves) as being incongruous with the scene's professed axiom of nonconformity.
en.wikipedia.org

Хотели бы вы добавить слова, фразы или переводы?

Пришлите нам новую статью.

Поиск в словаре

английский

Интерфейс Deutsch | English | Español | Français | Italiano | Polski | Русский