Пропозиционная алгебра - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
линейные алгебраические уравнения - linear algebraic equations
алгебраическое уравнение - algebraic equation
абсолютно алгебраические - absolutely algebraic
алгебраически замкнутая группа - algebraically closed group
алгебраическое ограничение - algebraic constraint
дифференциальная алгебра - differential algebra
жанр алгебраической кривой - genre of algebraic curve
комбинаторная алгебра - combinatorial algebra
преобразование алгебраической - algebraic transformation
централизованная алгебра - centralizable algebra
Синонимы к алгебра: математика, логистика
Антонимы к алгебра: геометрия
На самом деле, во многих случаях алгебраические понятия были переформулированы в геометрические термины. |
In fact, in many cases algebraic conceptions were reformulated into geometric terms. |
Аль-Каласади был последним крупным арабским алгебраистом средневековья, который усовершенствовал алгебраическую нотацию, ранее использовавшуюся в Магрибе Ибн аль-банной. |
Al-Qalasādī was the last major medieval Arab algebraist, who improved on the algebraic notation earlier used in the Maghreb by Ibn al-Banna. |
Например, реальная матрица, реальный полином и реальная алгебра ли. |
For example, real matrix, real polynomial and real Lie algebra. |
В более общем плане теории обоснования фокусируются на обосновании утверждений или пропозиций. |
More generally, theories of justification focus on the justification of statements or propositions. |
Выполнение этого вычисления в пространстве Лапласа превращает свертку в умножение; последнее легче решить из-за его алгебраической формы. |
Performing this calculation in Laplace space turns the convolution into a multiplication; the latter being easier to solve because of its algebraic form. |
Преобразование Чирнхауса, с помощью которого он удалил некоторые промежуточные члены из данного алгебраического уравнения, хорошо известно. |
The Tschirnhaus transformation, by which he removed certain intermediate terms from a given algebraic equation, is well known. |
Пирронисты не соглашаются с неочевидными пропозициями, то есть с догмой. |
Pyrrhonists withhold assent with regard to non-evident propositions, that is, dogma. |
Счет, тригонометрия, углубленная алгебра. |
Calculus, trig, advanced algebra. |
Для человека, умеющего в нем разбираться, герб -алгебра, герб - язык. |
For him who understands how to decipher them, armorial bearings are algebra, armorial bearings have a tongue. |
Мы не нашли ни одного человека который использует алгебру, Поэтому алгебра являеться полной тратой времени, и я доказал это. |
We haven't found one single person who uses algebra, therefore algebra is a complete waste of time and I've proven it. |
Ну да, алгебра может быть действительно абстрактной. |
Well, it can get really abstract. |
В 1854 году британский математик Джордж Буль опубликовал эпохальную работу, в которой подробно описал алгебраическую систему логики, ставшую известной как булева алгебра. |
In 1854, British mathematician George Boole published a landmark paper detailing an algebraic system of logic that would become known as Boolean algebra. |
Если тепло подается в систему в нескольких местах, то мы должны взять алгебраическую сумму соответствующих членов. |
If heat is supplied to the system at several places we have to take the algebraic sum of the corresponding terms. |
Алгебраические симметрии также эквивалентны утверждению, что R принадлежит образу молодого симметризатора, соответствующего разбиению 2+2. |
The algebraic symmetries are also equivalent to saying that R belongs to the image of the Young symmetrizer corresponding to the partition 2+2. |
В терминах алгебраической геометрии алгебраическое многообразие рациональных точек на единичной окружности бирационально аффинной прямой над рациональными числами. |
In terms of algebraic geometry, the algebraic variety of rational points on the unit circle is birational to the affine line over the rational numbers. |
Матрицы вращения обеспечивают алгебраическое описание таких вращений и широко используются для вычислений в геометрии, физике и компьютерной графике. |
Rotation matrices provide an algebraic description of such rotations, and are used extensively for computations in geometry, physics, and computer graphics. |
Метод Фолди-Вутюйзена идеально подходит для алгебраического подхода ли к оптике. |
The Foldy–Wouthuysen technique is ideally suited for the Lie algebraic approach to optics. |
То есть Геттиер утверждал, что, хотя обоснованная вера в истинную пропозицию необходима для того, чтобы эта пропозиция была известна, ее недостаточно. |
That is, Gettier contended that while justified belief in a true proposition is necessary for that proposition to be known, it is not sufficient. |
Он писал о гипотетическом силлогизме и о пропозициональном исчислении, которые были частью стоической логической традиции. |
He wrote on the hypothetical syllogism and on the propositional calculus, which were both part of the Stoic logical tradition. |
Весь материал, который мы имеем здесь для приобретения знания, уже обсуждается в статье о пропозициональном знании. |
All the material we have here on to acquire knowledge already is discussed in the propositional knowledge article. |
Эти вычисления можно было бы упростить до алгебраической формулировки, характерной для этого газа. |
These calculations might be simplified into an algebraic formulation that is specific to that gas. |
Из этого доказательства мы получаем алгебраическое утверждение, что. |
From this proof we get the algebraic statement that. |
These texts deal with solving algebraic equations. |
|
Символическая логика обычно делится на два подполя: пропозициональную логику и логику предикатов. |
Symbolic logic is usually divided into two subfields, propositional logic and predicate logic. |
Каждая алгебра над полем является векторным пространством, но элементы алгебры обычно не называются векторами. |
Every algebra over a field is a vector space, but elements of an algebra are generally not called vectors. |
А затем используйте алгебраическую геометрию и базисы Гребнера,чтобы получить структуру и условие реконструкции многомерных банков фильтров с избыточной дискретизацией. |
And then use Algebraic geometry and Gröbner bases to get the framework and the reconstruction condition of the multidimensional oversampled filter banks. |
Понятие нормы в композиционных алгебрах не разделяет обычных свойств нормы. |
The concept of norm in composition algebras does not share the usual properties of a norm. |
Во многих случаях алгебраическое исключение, правило L'hôpital или другие методы могут использоваться для манипулирования выражением, чтобы можно было вычислить предел. |
In many cases, algebraic elimination, L'Hôpital's rule, or other methods can be used to manipulate the expression so that the limit can be evaluated. |
Однако, если элементы A являются всеми алгебраическими числами, которые включают рациональные числа, то собственные значения являются комплексными алгебраическими числами. |
However, if the entries of A are all algebraic numbers, which include the rationals, the eigenvalues are complex algebraic numbers. |
Тем не менее, атака вызвала у некоторых экспертов еще большее беспокойство по поводу алгебраической простоты нынешней AES. |
Nonetheless, the attack has caused some experts to express greater unease at the algebraic simplicity of the current AES. |
S-box AES, по-видимому, особенно уязвим для этого типа анализа, поскольку он основан на алгебраически простой обратной функции. |
The S-box of AES appears to be especially vulnerable to this type of analysis, as it is based on the algebraically simple inverse function. |
Например, геометрия берет свое начало в вычислении расстояний и площадей в реальном мире; алгебра начинается с методов решения задач в арифметике. |
For example, geometry has its origins in the calculation of distances and areas in the real world; algebra started with methods of solving problems in arithmetic. |
Плюригенеры являются важными бирациональными инвариантами алгебраического многообразия. |
The plurigenera are important birational invariants of an algebraic variety. |
В этом случае алгебра формальных степенных рядов является полной алгеброй моноида натуральных чисел над лежащим в основе кольцом членов. |
In this case the algebra of formal power series is the total algebra of the monoid of natural numbers over the underlying term ring. |
Эта семантика допускает перевод между тавтологиями пропозициональной логики и эквационными теоремами булевой алгебры. |
These semantics permit a translation between tautologies of propositional logic and equational theorems of Boolean algebra. |
Булева алгебра также имеет дело с функциями, которые имеют свои значения в множестве {0, 1}. Последовательность битов-это обычно используемая такая функция. |
Boolean algebra also deals with functions which have their values in the set {0, 1}. A sequence of bits is a commonly used such function. |
Таким образом, Булева логика иногда используется для обозначения пропозиционального исчисления, выполняемого таким образом. |
Thus, Boolean logic is sometimes used to denote propositional calculus performed in this way. |
Случай, когда они являются формулами в пропозициональной логике, является одним из наиболее изученных. |
The case in which they are formulae in propositional logic is one of the most studied. |
Векторная нотация и линейная алгебра, используемые в настоящее время для записи этих формул, еще не использовались в момент их открытия. |
Vector notation and linear algebra currently used to write these formulas were not yet in use at the time of their discovery. |
Внешняя алгебра обеспечивает алгебраическую установку, в которой можно ответить на геометрические вопросы. |
The exterior algebra provides an algebraic setting in which to answer geometric questions. |
Логическая эквивалентность между двумя пропозициями означает, что они вместе истинны или вместе ложны. |
Logical equivalence between two propositions means that they are true together or false together. |
Эти кольца и их коэффициенты составляют основу алгебраической геометрии, поскольку они являются кольцами функций алгебраических геометрических объектов. |
These rings and their quotients form the basis of algebraic geometry, because they are rings of functions of algebraic geometric objects. |
В данной работе рассматриваются не только нулевые, но и отрицательные числа и алгебраические правила для элементарных операций арифметики с такими числами. |
This work considers not only zero, but also negative numbers and the algebraic rules for the elementary operations of arithmetic with such numbers. |
Делинь доказал, что N-я группа когомологий произвольного алгебраического многообразия имеет каноническую смешанную структуру Ходжа. |
Deligne has proved that the nth cohomology group of an arbitrary algebraic variety has a canonical mixed Hodge structure. |
Алгебраически исключения квадратного корня дает уравнением четвертой степени,. |
Algebraically eliminating the square root gives a quartic equation,. |
В конечном счете, абстрактные параллели между алгебраическими системами оказались более важными, чем детали, и родилась современная алгебра. |
Ultimately, the abstract parallels between algebraic systems were seen to be more important than the details and modern algebra was born. |
Таким образом, геометрическое точечное произведение равно алгебраическому точечному произведению. |
So the geometric dot product equals the algebraic dot product. |
Степени подчиняются обычному алгебраическому тождеству bk + l = bk bl. Другими словами, функция. |
Powers obey the usual algebraic identity bk + l = bk bl. In other words, the function. |
Но черепаха не принимает на веру правила пропозициональной логики, на которых основано это объяснение. |
But the tortoise does not accept on faith the rules of propositional logic that this explanation is founded upon. |
Пропозиция - это абстрактная сущность, выраженная предложением, содержащаяся в убеждении или утвержденная в утверждении или суждении. |
A proposition is the abstract entity expressed by a sentence, held in a belief, or affirmed in an assertion or judgment. |
Некоторые теории допускают, что несущими истину являются не пропозициональные сущности, такие как слова и картинки. |
Some theories allow non-propositional entities like words and pictures to be truthbearers. |
В пропозициональной логике утверждение - это предложение, которое либо истинно, либо ложно. |
In propositional logic, a statement is a sentence that is either true or false. |
Простая задача проверки модели состоит в проверке того, удовлетворяет ли формула в пропозициональной логике заданной структуре. |
A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure. |
Он был замечательным алгебраистом и арифметическим калькулятором. |
He was a remarkable algebraicist and arithmetical calculator. |
Количество и пространство играют определенную роль в аналитической геометрии, дифференциальной геометрии и алгебраической геометрии. |
Quantity and space both play a role in analytic geometry, differential geometry, and algebraic geometry. |
Фатализм оспаривается утверждением, что существуют пропозиции, которые не являются ни истинными, ни ложными, например, они могут быть неопределенными. |
I felt the less he said, the stronger he became and the more he grew in the imagination of the audience. |
В частности, для построения восьми пропозиций используются низкий-высокий контекст и рамки индивидуализма-коллективизма. |
Specifically, low-high context and individualism-collectivism frameworks are used to draw the eight propositions. |
Пропозиция есть объективная составляющая, значение которой тождественно названному ею объекту и является либо истинной, либо ложной. |
A proposition is an objective constituent the meaning of which is the same as the object being named by it, and is either true or false. |
Последняя версия, которая мне понравилась, была написана американцами, хотя она немного сосредоточена на пропозициях. |
The last version I like was this oneprimarily written by Amerindianarts, even though it is a little focused on propositions. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «пропозиционная алгебра».
А именно, здесь можно найти перевод (значение) «пропозиционная алгебра» на английском языке, синонимы, антонимы, краткое определение слов: пропозиционная, алгебра . Также, к фразе «пропозиционная алгебра» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.