Перевод axiom с английского на русский

The ninth, final axiom is a second order statement of the principle of mathematical induction over the natural numbers.

Девятая и последняя аксиома на языке логики второго порядка - о принципе математической индукции над рядом натуральных чисел.

The ergodic axiom asserts that the future of the economy can be predicted based on the past and present market conditions.

Эргодическая аксиома устанавливает, что будущее экономики может быть предсказано с помощью прошлых и нынешних состояний рынка.

But when this axiom was formulated, the accelerating expansion of the universe, which implies a negative pressure, was not known yet.

Но когда была сформулирована эта аксиома, ускоряющееся расширение Вселенной, подразумевающее отрицательное давление, еще не было известно.

The transformation rule is the second Wightman axiom of quantum field theory.

Правилом преобразования служит вторая аксиома Уайтмана квантовой теории поля.

An axiom of the style is "minimum effort for maximum effect."

Аксиома стиля - «минимальное усилие - максимальное воздействие».

This axiom is crucial for the Millennium Development Goals and for sustaining gains in the future.

Данный постулат чрезвычайно важен для выполнения Целей развития тысячелетия и для закрепления достижений в будущем.

The axiom "all children can be taught" is being successfully implemented.

В республике успешно реализуется постулат «все дети обучаемы».

AXIOM Alpha was a digital cinema camera proof of concept prototype.

AXIOM Alpha - концептуальный прототип цифровой кинокамеры.

The first video provides details on the Axiom information sources.

Первое видео рассказывает о источниках информации о Axiom.

All the mathematical knowledge of Axiom is written in this language.

Вся математическая база Axiom написана на этом языке.

The general case was solved and implemented in Scratchpad, a precursor of Axiom, by Manuel Bronstein.

Общий случай был решён и реализован Мануэлем Бронштейном в Scratchpad (предшественнице системы Axiom).

The Axiom roster consists of AxCrank, AxAlicia, AxHeart and AxRyung.

В состав Axiom входили AxCrank, AxAlicia, AxHeart и AxRyung.

The same rule was also established by independent judges and regarded as a fundamental legal axiom.

Это же правило также установлено независимыми судьями и рассматривается в качестве одной из основополагающих правовых аксиом.

Financing this deal with company funds, Lawal organized it in collaboration with Carlos St. Mary, director of the diamond trading company Axiom Trading, and Dikembe Mutombo of Mutombo International Group.

Лаваль организовал эту сделку, которая должна была финансироваться за счет средств его компании, в сотрудничестве с Карлосом Сент-Мэри, директором компании по торговле алмазами «Аксиом трейдинг», и Дикембе Мутомбе из «Мутомбо интернэшнл груп».

5 There are several alternatives for this "non-triviality" axiom.

Существует несколько альтернативных аксиом такой «нетривиальности».

Thus Post in his 1936 paper was also discounting Kurt Gödel's suggestion to Church in 1934-35 that the thesis might be expressed as an axiom or set of axioms.

Таким образом, Пост в своей статье 1936 года также отклонял предложение Курта Гёделя Чёрчу в 1934-5 годах о том, что тезис может быть выражен как аксиома или множество аксиом.

He found all, up to isomorphism, realizations of the systems of axioms of classical geometries (Euclid, Lobachevsky and elliptic) if one omits the congruence axioms containing the concept of angle and supplement these systems with the axiom of "triangle inequality".

Он нашел все с точностью до изоморфизма реализации систем аксиом классических геометрий (Евклида, Лобачевского и эллиптической), если в них опустить аксиомы конгруэнтности, содержащие понятие угла, и пополнить эти системы аксиомой «неравенство треугольника».