| 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 is good that this axiom was elaborated and given an emphasis in the IMF's national accounts training material, particularly dealing with Quarterly National Accounts: Scope and Role, prepared in December 1997. | Следует положительно отметить тот факт, что эта аксиома была разработана и получила признание в учебных материалах МВФ по национальным счетам, в частности в материалах, посвященных охвату и роли квартальных национальных счетов, которые были подготовлены в декабре 1997 года. |
| Easy, as far as there is a kind of an axiom - Russia might act reflectively and might be dangerous. | Легко, поскольку существует своего рода аксиома - Россия может действовать рефлекторно и может быть опасна. |
| Simply follow this manual's instructions to place the plant in your ship's holo-detector, and the Axiom will immediately navigate your return to Earth. | Просто следуйте за инструкциями этого руководства, чтобы поместить растение в голо-датчик вашего судна, и Аксиома немедленно поведет вас к Земле. |
| The Axiom, putting the star in an executive StarLiner. | Звездолёт "Аксиома" - ваш дом класса люкс. |
| 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 general case was solved and implemented in Scratchpad, a precursor of Axiom, by Manuel Bronstein. | Общий случай был решён и реализован Мануэлем Бронштейном в Scratchpad (предшественнице системы Axiom). |
| AXIOM SW is a purely Czech company. It originated in 1991. | AXIOM SW - это фирма со стопроцентным чешским капиталом, учрежденная в 1991 году. |
| Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2). | Проект Axiom планирует использовать проверенные технологии (такие как Coq и ACL2) для доказательства корректности алгоритмов. |
| AXIOM SW has acquired a significant statute Microsoft Gold Certified Partner. | В 2006 г. фирма AXIOM SW получила весомый статус Microsoft Gold Certified Partner. |
| 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. | Лаваль организовал эту сделку, которая должна была финансироваться за счет средств его компании, в сотрудничестве с Карлосом Сент-Мэри, директором компании по торговле алмазами «Аксиом трейдинг», и Дикембе Мутомбе из «Мутомбо интернэшнл груп». |
| 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), представляя новый набор аксиом для евклидовой геометрии, он использовал при обсуждении параллельных прямых аксиому в форме Плейфера, а не оригинальную версию Евклида. |
| The core of post-Keynesian belief is the rejection of three axioms that are central to classical and mainstream Keynesian views: the neutrality of money, gross substitution, and the ergodic axiom. | Ядро посткейнсианской теории составляет отрицание трёх аксиом, принимаемых классиками и кейнсианцами мейнстрима: нейтральности денег, полного замещения и эргодичности. |