| In particular, in models of set theory for which Martin's axiom is true and the continuum hypothesis is false, the class of bipartite graphs in this characterization can be replaced by a single forbidden minor. | В частности, в моделях теории множеств, в которых верна аксиома Мартина, а континуум-гипотеза не верна, класс двудольных графов может быть заменён одним запрещённым минором. |
| It's the axiom of treasure hunting. | Это аксиома охоты за сокровищами. |
| One structure that weakens this axiom is a CC system: a ternary relation that is cyclic, asymmetric, and total, but generally not transitive. | Одна структура, более слабая, чем эта аксиома, это СС система - тернарное отношение, являющееся циклическим, асимметричным и полным, но, в общем случае, не транзитивным. |
| The fundamental problem is that a generation of mainstream macroeconomic theorists has come to accept a theory that has an error at its very core: the axiom that people are fully rational. | Фундаментальная проблема состоит в том, что поколение макроэкономических теоретиков основного направления приняло теорию, в самом центре которой кроется ошибка: аксиома о том, что люди являются всецело рациональными. |
| The non-aggression principle (or NAP; also called the non-aggression axiom, the anti-coercion, zero aggression principle or non-initiation of force) is an ethical stance asserting that aggression is inherently wrong. | Принцип ненападения (также называемый аксиома ненападения, принцип непринуждения, принцип отсутствия агрессии, принцип отказа от инициации насилия, сокр. англ. NAP) - этическая позиция, утверждающая, что «агрессия» по своей сути нелегитимна. |
| 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. | В республике успешно реализуется постулат «все дети обучаемы». |
| All the mathematical knowledge of Axiom is written in this language. | Вся математическая база Axiom написана на этом языке. |
| AXIOM SW is a purely Czech company. It originated in 1991. | AXIOM SW - это фирма со стопроцентным чешским капиталом, учрежденная в 1991 году. |
| An important break turned up in 1994 when AXIOM SW entered the NAVISION partnership net, today it is Microsoft Dynamics. | Большие изменения произошли в 1994 г., когда AXIOM SW вступила в партнерскую сеть NAVISION, сегодня Microsoft Dynamics. |
| Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2). | Проект Axiom планирует использовать проверенные технологии (такие как Coq и ACL2) для доказательства корректности алгоритмов. |
| Axiom comes with an extension language called SPAD. | Язык расширений Axiom называется SPAD. |
| 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. | Лаваль организовал эту сделку, которая должна была финансироваться за счет средств его компании, в сотрудничестве с Карлосом Сент-Мэри, директором компании по торговле алмазами «Аксиом трейдинг», и Дикембе Мутомбе из «Мутомбо интернэшнл груп». |
| 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". | Он нашел все с точностью до изоморфизма реализации систем аксиом классических геометрий (Евклида, Лобачевского и эллиптической), если в них опустить аксиомы конгруэнтности, содержащие понятие угла, и пополнить эти системы аксиомой «неравенство треугольника». |
| When David Hilbert wrote his book, Foundations of Geometry (1899), providing a new set of axioms for Euclidean geometry, he used Playfair's form of the axiom instead of the original Euclidean version for discussing parallel lines. | Когда Давид Гильберт написал свою книгу «Основания геометрии» (1899), представляя новый набор аксиом для евклидовой геометрии, он использовал при обсуждении параллельных прямых аксиому в форме Плейфера, а не оригинальную версию Евклида. |
| For finite sets X, the axiom of choice follows from the other axioms of set theory. | Для конечного набора Х {\displaystyle X} аксиома выбора следует из других аксиом теории множеств. |
| Finally got through to Axiom Parcel Delivery's corporate office. | Я сумел дозвониться до корпоративного офиса "Аксиом Парсел". |