Involution axiom - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
extremal involution - экстремальная инволюция
adjoint involution - присоединенная инволюция
antiunitary involution - антиунитарная инволюция
opposition involution - инволюция противопоставления
involution band - дегенеративная форма
law of involution - закон инволюции
senile involution - старческая инволюция
involution paraphrenia - инволюционная парафрения
involution on a line - мат. инволюция на прямой
age-involution weight curve - кривая возрастной инволюции (органа)
Синонимы к involution: enfolding, exponentiation, elaborateness, elaboration, intricacy, involvement, engagement, participation
Антонимы к involution: plainness, simpleness, simplicity
Значение involution: the shrinkage of an organ in old age or when inactive, e.g., of the uterus after childbirth.
axiom of choice - аксиома выбора
retention axiom - аксиома сохранения
countability axiom - аксиома счетности
infinity axiom - аксиома бесконечности
axiom of closure - Аксиома закрытия
axiom of difference - Аксиома разности
axiom of families - Аксиома семей
axiom of selection - аксиома выбора
axiom of separation - Аксиома разделения
an axiom needs no proof - аксиома не требует доказательства
Синонимы к axiom: general truth, accepted truth, gnome, principle, dictum, apophthegm, truism, maxim, adage, aphorism
Антонимы к axiom: absurdity, foolishness, paradox, ambiguity, nonsense
Значение axiom: a statement or proposition that is regarded as being established, accepted, or self-evidently true.
This part is sometimes referred to as the second fundamental theorem of calculus or the Newton–Leibniz axiom. |
Эта часть иногда упоминается как вторая фундаментальная теорема исчисления или аксиома Ньютона-Лейбница. |
It may almost be stated, as an axiom, that the larger the body of undisciplined men is, the less is its chance of success; ... |
Можно почти сказать, как аксиому, что чем больше тело недисциплинированных людей, тем меньше у него шансов на успех ... |
It is possible to define a larger system F’ that contains the whole of F plus GF as an additional axiom. |
В качестве дополнительной аксиомы можно определить более крупную систему F’, содержащую целое F плюс GF. |
As far as I can see, it's nothing more then an axiom, just like the axiom of commutativity of addition. |
Насколько я могу судить, это не более чем аксиома, как и аксиома коммутативности сложения. |
In January 2020, NASA awarded Axiom Space a contract to build a commercial module for the space station with it launching in 2024. |
В январе 2020 года НАСА заключило с компанией Axiom Space контракт на строительство коммерческого модуля для космической станции, запуск которой намечен на 2024 год. |
The former result opened the door for mathematicians to assume the axiom of choice in their proofs. |
Первый результат открыл дверь для математиков, чтобы принять аксиому выбора в своих доказательствах. |
In this case, there is no obvious candidate for a new axiom that resolves the issue. |
В этом случае нет очевидного кандидата на новую аксиому, которая бы разрешила проблему. |
The only group axiom that requires some effort to verify is that each element of G is invertible. |
Единственная групповая аксиома, которая требует некоторых усилий для проверки, состоит в том, что каждый элемент G обратим. |
It's not a biblical axiom for application to any and all circumstances. |
Это не библейская аксиома для применения к любым и всяким обстоятельствам. |
The lack of axiom in the past led to the star height problem. |
Отсутствие аксиомы в прошлом привело к проблеме высоты звезд. |
I have given Hallett's arguments that the limitation of size doctrine does not justify the power set axiom. |
Я привел аргументы Галлета о том, что доктрина ограничения размера не оправдывает аксиому набора мощности. |
However, in 1949, A.P. Morse showed that the statement about Euclidean polygons can be proved in ZF set theory and thus does not require the axiom of choice. |
Однако в 1949 году А. П. Морс показал, что утверждение о евклидовых многоугольниках может быть доказано в теории множеств ZF и, следовательно, не требует аксиомы выбора. |
That shade of purple is a proprietary color owned by Axiom Parcel Delivery, or APD. |
Этот оттенок фиолетового запатентованный цвет компании Аксиом Парсел Деливери или АПД. |
Computer, when was that message sent to Axiom? |
Компьютер, когда было послано сообщение Аксиоме? |
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. |
Просто следуйте за инструкциями этого руководства, чтобы поместить растение в голо-датчик вашего судна, и Аксиома немедленно поведет вас к Земле. |
As a fundamental axiom, it is pertinent to note that, as each situation is unique, initiatives must be premised on a case-by-case basis. |
Уместно заметить, что с учетом важного значения того факта, что каждая ситуация имеет уникальный характер, инициативы должны разрабатываться в каждом конкретном случае. |
Easy, as far as there is a kind of an axiom - Russia might act reflectively and might be dangerous. |
Легко, поскольку существует своего рода аксиома - Россия может действовать рефлекторно и может быть опасна. |
It is an axiom that peace cannot be re-established, there cannot be any real peace, without an end to impunity. |
Не подлежит сомнению, что мир, подлинный, реальный мир не может быть восстановлен без искоренения безнаказанности. |
The affirmation of a proposition or an axiom may be an arbitrary ForTheL statement, whereas the affirmation of a definition must have one of several fixed forms. |
В теоремах и аксиомах утверждение может быть произвольным утверждением ForTheL, тогда как утверждение в определении должно иметь специальный вид, в зависимости от типа определяемого объекта. |
Аксиома жемчужина космического флота BNL. |
|
Finally got through to Axiom Parcel Delivery's corporate office. |
Я сумел дозвониться до корпоративного офиса Аксиом Парсел. |
Either the proposition seems so absolutely evident that the mind has no way to doubt its veracity - we call this a postulate or axiom |
или предположение кажется настолько очевидным, что разуму не остается ничего, кроме как убедиться в его правдивости, мы называем это постулатом или аксиомой. |
'Seek whom the crime will profit,' says an axiom of jurisprudence. |
Ищи, кому преступление выгодно, гласит одна из аксиом юридической науки. |
' It may be an axiom but it isn't so in this case. |
Может быть, и аксиома, но не в этом деле. |
The axiom of criticism must be, not that the poet does not know what he is talking about, but that he cannot talk about what he knows. |
Аксиома критики должна состоять не в том, что поэт не знает, о чем он говорит, а в том, что он не может говорить о том, что он знает. |
In this case, GF is indeed a theorem in F’, because it is an axiom. |
В этом случае GF действительно является теоремой в F’, потому что это аксиома. |
The axiom is often used as shorthand for the doctrine that the Church is necessary for salvation. |
Аксиома часто используется как сокращенное выражение для доктрины о том, что Церковь необходима для спасения. |
Отсюда аксиома вне Церкви нет спасения. |
|
In 1922, Abraham Fraenkel and Thoralf Skolem independently proposed replacing the axiom schema of specification with the axiom schema of replacement. |
В 1922 году Абрахам Френкель и Торальф Сколем независимо друг от друга предложили заменить схему аксиомы спецификации схемой аксиомы замены. |
I agree that the same version of the axiom should work in all applicable theories. |
Я согласен, что одна и та же версия аксиомы должна работать во всех применимых теориях. |
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement. |
Аксиома супремума реалов относится к подмножествам реалов и поэтому является логическим утверждением второго порядка. |
There is a functor from the category CRing to Ring that forgets the axiom of commutativity, but keeps all the operations. |
Существует функтор из категории CRing to Ring, который забывает аксиому коммутативности, но сохраняет все операции. |
This relationship between physical measurements and Hilbert space operators is, for standard quantum mechanics, an additional axiom of the theory. |
Эта связь между физическими измерениями и операторами гильбертова пространства является для стандартной квантовой механики дополнительной аксиомой теории. |
The formula for the area of a rectangle follows directly from the basic properties of area, and is sometimes taken as a definition or axiom. |
Формула для площади прямоугольника вытекает непосредственно из основных свойств площади и иногда принимается за определение или аксиому. |
We need the axiom of countable choice to index all the sets a, b, c, ... simultaneously. |
Нам нужна аксиома Счетного выбора, чтобы проиндексировать все множества a, b, c, ... одновременно. |
As defined in classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question. |
Согласно определению классической философии, аксиома-это утверждение, которое настолько очевидно или хорошо обосновано, что принимается без споров или вопросов. |
Maccheroni et al. described choice theory which is the closest possible to the modern portfolio theory, while satisfying monotonicity axiom. |
Маккерони и др. описана теория выбора, которая наиболее близка к современной портфельной теории, удовлетворяя при этом аксиоме монотонности. |
The truth of this theorem depends on the truth of Archimedes' axiom, which is not first-order in nature. |
Истинность этой теоремы зависит от истинности аксиомы Архимеда, которая не является первопорядковой по своей природе. |
Given the other axioms of Zermelo–Fraenkel set theory, the existence of bases is equivalent to the axiom of choice. |
Учитывая другие аксиомы теории множеств Цермело-Френкеля, существование оснований эквивалентно аксиоме выбора. |
The first axiom asserts the existence of at least one member of the set of natural numbers. |
Первая аксиома утверждает существование хотя бы одного члена множества натуральных чисел. |
The ninth, final axiom is a second order statement of the principle of mathematical induction over the natural numbers. |
Девятая, заключительная аксиома - это утверждение второго порядка принципа математической индукции над натуральными числами. |
This choice is arbitrary, as axiom 1 does not endow the constant 0 with any additional properties. |
Этот выбор произволен, так как аксиома 1 не наделяет константу 0 какими-либо дополнительными свойствами. |
Such a schema includes one axiom per predicate definable in the first-order language of Peano arithmetic, making it weaker than the second-order axiom. |
Такая схема включает одну аксиому на предикат, определяемый в языке первого порядка арифметики Пеано, что делает ее слабее, чем аксиома второго порядка. |
Another word that means nearly the same as principle is axiom, though these two words are usually used in different contexts. |
Еще одно слово, которое означает почти то же самое, что и принцип, - это аксиома, хотя эти два слова обычно используются в разных контекстах. |
The continuum hypothesis and the axiom of choice were among the first mathematical statements shown to be independent of ZF set theory. |
Гипотеза континуума и аксиома выбора были одними из первых математических утверждений, показавших свою независимость от теории множеств ZF. |
Thus, Adam Smith's single axiom, broadly interpreted ... is sufficient to characterize a major portion of the human social and cultural enterprise. |
Таким образом, единственная аксиома Адама Смита, широко интерпретируемая ... достаточно охарактеризовать значительную часть человеческого социокультурного предприятия. |
With this definition, the evenness of zero is not a theorem but an axiom. |
При таком определении четность нуля - не теорема, а аксиома. |
Among the ancient Greek philosophers an axiom was a claim which could be seen to be self-evidently true without any need for proof. |
Среди древнегреческих философов аксиомой было утверждение, которое можно было считать самоочевидно истинным без всяких доказательств. |
A set of axioms should also be non-redundant; an assertion that can be deduced from other axioms need not be regarded as an axiom. |
Набор аксиом также не должен быть избыточным; утверждение, которое может быть выведено из других аксиом, не должно рассматриваться как аксиома. |
Thus, an axiom is an elementary basis for a formal logic system that together with the rules of inference define a deductive system. |
Таким образом, аксиома является элементарной основой для формальной логической системы, которая вместе с правилами вывода определяет дедуктивную систему. |
The first quantifier in the axiom ranges over predicates rather than over individual numbers. |
Первый Квантор в аксиоме колеблется над предикатами, а не над отдельными числами. |
The principle of mathematical induction is usually stated as an axiom of the natural numbers; see Peano axioms. |
Принцип математической индукции обычно формулируется как аксиома натуральных чисел; см. |
It is mistakenly printed in several books and sources that the well-ordering principle is equivalent to the induction axiom. |
В нескольких книгах и источниках ошибочно утверждается, что принцип упорядоченности эквивалентен аксиоме индукции. |
The original monograph was quickly followed by a French translation, in which Hilbert added V.2, the Completeness Axiom. |
За оригинальной монографией быстро последовал французский перевод, в котором Гильберт добавил V.2, аксиому полноты. |
The second point cannot in any reasonable way be combined with the first point, as long as the axiom system is genuinely finitary. |
Второй пункт никаким разумным образом не может быть объединен с первым пунктом, пока система аксиом является подлинно финитарной. |
Informally, the second axiom says it doesn't matter whether we restrict to W in one step or restrict first to V, then to W. |
Неофициально вторая аксиома гласит, что не имеет значения, ограничимся ли мы W на одном шаге или ограничимся сначала V, а затем W. |
It is a basic axiom for Pareto that people are unequal physically, as well as intellectually and morally. |
Для Парето основной аксиомой является то, что люди неравны физически, а также интеллектуально и морально. |
Indeed, their existence is a non-trivial consequence of the axiom of choice. |
Действительно, их существование является нетривиальным следствием аксиомы выбора. |
All these are linked in one way or another to the axiom of choice. |
Все это так или иначе связано с аксиомой выбора. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «involution axiom».
А именно, здесь можно найти перевод (значение) «involution axiom» на русском языке, синонимы, антонимы, краткое определение слов: involution, axiom , а также произношение и транскрипцию к «involution axiom». Также, к фразе «involution axiom» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.