Аксиомы отделимости - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
аксиома замены - exchange axiom
аксиома конгруэнтности - congruence axiom
аксиома отделимости - separation axiom
аксиома равновесия - equilibrium axiom
аксиома расстояния - distance axiom
аксиома сохранения - retention axiom
аксиома треугольника - triangle axiom
аксиома непрерывности - continuity axiom
аксиома параллельности евклида - parallel postulate
аксиома пустого множества - axiom of empty set
Синонимы к аксиома: истина, утверждение, постулат, догма
Антонимы к аксиома: теория, ложь, предположение
Значение аксиома: Положение, принимаемое без доказательств.
Затем были предложены альтернативные решения, включающие завершение предиката, плавную окклюзию, аксиомы преемственного состояния и т. д. |
Alternative solutions were then proposed, involving predicate completion, fluent occlusion, successor state axioms, etc. |
Эти две аксиомы описывают две особенности отношения связи,но не характерную особенность отношения связи. |
The two axioms describe two features of the connection relation, but not the characteristic feature of the connect relation. |
В качестве решения Гильберт предложил свести все существующие теории к конечному, полному набору аксиом и представить доказательство того, что эти аксиомы непротиворечивы. |
As a solution, Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent. |
Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики. |
First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics. |
Кроме того, порядок может быть Дедекинд-полным, как определено в разделе аксиомы. |
Additionally, an order can be Dedekind-complete, as defined in the section Axioms. |
Эти аксиомы составляют основные элементы свободного мышления. |
These axioms constitute the basic elements of laissez-faire thought. |
На языке абстрактной алгебры первые четыре аксиомы эквивалентны требованию, чтобы множество векторов было абелевой группой при сложении. |
In the parlance of abstract algebra, the first four axioms are equivalent to requiring the set of vectors to be an abelian group under addition. |
The remaining axioms give this group an F-module structure. |
|
Имея это в виду, можно определить остальные аксиомы, которым должно удовлетворять семейство множеств о X. |
Bearing this in mind, one may define the remaining axioms that the family of sets about x is required to satisfy. |
Эта форма аксиомы индукции, называемая сильной индукцией, является следствием стандартной формулировки,но часто лучше подходит для рассуждений о порядке≤. |
This form of the induction axiom, called strong induction, is a consequence of the standard formulation, but is often better suited for reasoning about the ≤ order. |
Однако в 1949 году А. П. Морс показал, что утверждение о евклидовых многоугольниках может быть доказано в теории множеств ZF и, следовательно, не требует аксиомы выбора. |
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. |
Г еометрия является чистым воплощением человеческой логики, но изначальные аксиомы Евклида необходимо принимать на веру. |
Geometry is the purest realization of human reason; but Euclid's axioms cannot be proved. |
Существуют определения и аксиомы, которые всем известны. |
There are definitions and axioms, all of which are known. |
Многие философы подвергали аксиомы сомнению. |
Many philosophers have called the axioms into question. |
Второй слой состоит в том, что эти конкретные аксиомы приводят к нежелательным выводам. |
A second layer is that these particular axioms lead to unwelcome conclusions. |
Более широкая критика состоит в том, что даже если аксиомы не могут быть доказаны как ложные, это не означает, что они истинны. |
The broader criticism is that even if the axioms cannot be shown to be false, that does not mean that they are true. |
Исторически второй закон был эмпирическим открытием, которое было принято в качестве аксиомы термодинамической теории. |
Historically, the second law was an empirical finding that was accepted as an axiom of thermodynamic theory. |
Доказательство не требует, чтобы вывод был правильным, но скорее, что, принимая аксиомы, вывод следует логически. |
A proof does not necessitate that the conclusion be correct, but rather that by accepting the axioms, the conclusion follows logically. |
Или она может быть неполной просто потому, что не все необходимые аксиомы были открыты или включены. |
Or it may be incomplete simply because not all the necessary axioms have been discovered or included. |
В качестве дополнительной аксиомы можно определить более крупную систему F’, содержащую целое F плюс GF. |
It is possible to define a larger system F’ that contains the whole of F plus GF as an additional axiom. |
Бритва Оккама и бережливость поддерживают, но не доказывают эти аксиомы науки. |
Occam's razor and parsimony support, but do not prove, these axioms of science. |
В 1922 году Абрахам Френкель и Торальф Сколем независимо друг от друга предложили заменить схему аксиомы спецификации схемой аксиомы замены. |
In 1922, Abraham Fraenkel and Thoralf Skolem independently proposed replacing the axiom schema of specification with the axiom schema of replacement. |
В 1933 году Андрей Колмогоров вводит аксиомы Колмогорова. |
In 1933, Andrey Kolmogorov introduces the Kolmogorov axioms. |
Я согласен, что одна и та же версия аксиомы должна работать во всех применимых теориях. |
I agree that the same version of the axiom should work in all applicable theories. |
Отсутствие аксиомы в прошлом привело к проблеме высоты звезд. |
The lack of axiom in the past led to the star height problem. |
В 1991 году Декстер Козен аксиоматизировал регулярные выражения как алгебру Клейна, используя аксиомы уравнения и предложения Хорна. |
In 1991, Dexter Kozen axiomatized regular expressions as a Kleene algebra, using equational and Horn clause axioms. |
Эти аксиомы обобщают свойства векторов, представленных в приведенных выше примерах. |
These axioms generalize properties of the vectors introduced in the above examples. |
Все остальные аксиомы могут быть проверены аналогичным образом в обоих примерах. |
All other axioms can be checked in a similar manner in both examples. |
Таким образом, все аксиомы до сих пор были для монотонной булевой логики. |
Thus the axioms so far have all been for monotonic Boolean logic. |
Аксиомы спина и Близнецов могут быть проверены экспериментально. |
The spin and twin axioms can be verified experimentally. |
Истинность этой теоремы зависит от истинности аксиомы Архимеда, которая не является первопорядковой по своей природе. |
The truth of this theorem depends on the truth of Archimedes' axiom, which is not first-order in nature. |
Это следует из леммы Цорна, эквивалентной формулировке аксиомы выбора. |
This follows from Zorn's lemma, an equivalent formulation of the Axiom of Choice. |
Учитывая другие аксиомы теории множеств Цермело-Френкеля, существование оснований эквивалентно аксиоме выбора. |
Given the other axioms of Zermelo–Fraenkel set theory, the existence of bases is equivalent to the axiom of choice. |
Это уменьшило давно отмеченное различие между экономикой и естественными науками, поскольку оно позволяет проводить прямые проверки того, что ранее принималось за аксиомы. |
This has reduced the long-noted distinction of economics from natural sciences because it allows direct tests of what were previously taken as axioms. |
В некоторых случаях они обнаружили, что аксиомы не совсем верны; например, игра в ультиматум показала, что люди отвергают неравные предложения. |
In some cases these have found that the axioms are not entirely correct; for example, the ultimatum game has revealed that people reject unequal offers. |
Следующие три аксиомы являются утверждениями первого порядка о натуральных числах, выражающими фундаментальные свойства последующей операции. |
The next three axioms are first-order statements about natural numbers expressing the fundamental properties of the successor operation. |
Когда Пеано сформулировал свои аксиомы, язык математической логики находился в зачаточном состоянии. |
When Peano formulated his axioms, the language of mathematical logic was in its infancy. |
Остальные аксиомы определяют арифметические свойства натуральных чисел. |
The remaining axioms define the arithmetical properties of the natural numbers. |
Аксиомы Пеано также могут быть поняты с помощью теории категорий. |
The Peano axioms can also be understood using category theory. |
Это иллюстрирует один из способов, которым система первого порядка PA слабее, чем аксиомы Пеано второго порядка. |
This illustrates one way the first-order system PA is weaker than the second-order Peano axioms. |
Для того чтобы опровергнуть эту точку зрения, было бы достаточно продемонстрировать новые аксиомы, опирающиеся на интуицию и разрешающие СН в том или ином направлении. |
In order to argue against this viewpoint, it would be sufficient to demonstrate new axioms that are supported by intuition and resolve CH in one direction or another. |
Аксиомы-это правила, которым следуют, чтобы определить, как MHC упорядочивает действия для формирования иерархии. |
Axioms are rules that are followed to determine how the MHC orders actions to form a hierarchy. |
В 1905 году аксиомы Ньютона были заменены аксиомами специальной теории относительности Альберта Эйнштейна, а позднее-общей теорией относительности. |
In 1905, Newton's axioms were replaced by those of Albert Einstein's special relativity, and later on by those of general relativity. |
Затем можно доказать, что индукция, учитывая перечисленные выше аксиомы, подразумевает хорошо упорядоченный принцип. |
It can then be proved that induction, given the above listed axioms, implies the well-ordering principle. |
Аксиомы араноса с принципом индукции однозначно моделируют натуральные числа. |
Peanos axioms with the induction principle uniquely model the natural numbers. |
Согласно подходу Цермело-Френкеля, аксиомы препятствуют построению множества всех множеств, которые не принадлежат самим себе. |
Under the Zermelo–Fraenkel approach, the axioms impede the construction of a set of all sets which do not belong to themselves. |
Аксиомы не воспринимаются как самоочевидные истины. |
Axioms are not taken as self-evident truths. |
Аксиомы объединяют как плоскую геометрию, так и твердотельную геометрию Евклида в единую систему. |
The axioms unify both the plane geometry and solid geometry of Euclid in a single system. |
Таким образом, пучок часто можно определить, задавая его значения на открытых множествах базиса и проверяя аксиомы пучка относительно базиса. |
Thus a sheaf can often be defined by giving its values on the open sets of a basis, and verifying the sheaf axioms relative to the basis. |
Планирование приемников с различными пространственными сигнатурами обеспечивает хорошую отделимость. |
Black Sheep Ale is usually served, amongst others. |
В евклидовой геометрии линейная отделимость - это свойство двух наборов точек. |
In Euclidean geometry, linear separability is a property of two sets of points. |
Проблема определения того, является ли пара множеств линейно отделимой, и нахождения разделяющей гиперплоскости, если они есть, возникает в нескольких областях. |
The problem of determining if a pair of sets is linearly separable and finding a separating hyperplane if they are, arises in several areas. |
Следовательно, если линейная отделимость обучающего множества априори не известна, то следует использовать один из приведенных ниже вариантов обучения. |
Hence, if linear separability of the training set is not known a priori, one of the training variants below should be used. |
Эти страницы фактически полностью перечисляют аксиомы и правильно объясняют, как работает дедуктивная система. |
These pages actually list out axioms completely and properly explain how the deductive system works. |
Проблема определения того, является ли пара множеств линейно отделимой, и нахождения разделяющей гиперплоскости, если они есть, возникает в нескольких областях. |
Greek court sources accused Vahan of treason for his disobedience to Heraclius' command not to engage in large-scale battle with Arabs. |
Действительно, их существование является нетривиальным следствием аксиомы выбора. |
Indeed, their existence is a non-trivial consequence of the axiom of choice. |
Наиболее важными из них для игрового процесса были технологические, магические и духовные аксиомы. |
The most important of these for gameplay were the technological, magical, and spiritual axioms. |
Может быть, правильнее было бы охарактеризовать их как выводы, аксиомы или постулаты? |
Would in be more accurate to characterize them as conclusions, or as axioms or postulates? |
Форма строится путем рекурсивной подачи аксиомы через правила производства. |
Are the French Channel Islands in the British Isles or not? |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «аксиомы отделимости».
А именно, здесь можно найти перевод (значение) «аксиомы отделимости» на английском языке, синонимы, антонимы, краткое определение слов: аксиомы, отделимости . Также, к фразе «аксиомы отделимости» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.