Алгебраический предикат - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
алгебраическое замыкание - algebraic closure
алгебра переключательных схем - switching circuits algebra
алгебра хопфа - Hopf algebra
граф циклов (алгебра) - Count cycles (algebra)
алгебраическая эквивалентность - algebraic equivalence
алгебра на бесконечности - algebra at infinity
алгебра с когомологиями - cohomology algebra
алгебраическая логика функциональный язык - algebraic logic functional language
бицилиндр алгебра - bicylinder algebra
метод алгебраического сложения - method of algebraic addition
Синонимы к алгебраический: алгебраический
предикат тождественности - sameness predicate
предикативная функция - predicative function
гиперарифметический предикат - hyperarithmetical predicate
исчисление предикатов единицей - predicate calculus with identity
элементарный предикат - elementary predicate
примитивный предикат - primitive predicate
теоретико-числовой предикат - number-theoretic predicate
предикат равенства - equality predicate
устойчивый предикат - stable predicate
один предикат - one-place predicate
Синонимы к предикат: сказуемое, свойство, отношение
Значение предикат: В логике: понятие, определяющее предмет суждения — субъект.
Алгебраические симметрии также эквивалентны утверждению, что 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 fact, in many cases algebraic conceptions were reformulated into geometric terms. |
Более того, в наши дни предикаты более чем одной арности обычно называются отношениями. |
Moreoever, predicates of more than one arity are generally called relations these days. |
Символическая логика обычно делится на два подполя: пропозициональную логику и логику предикатов. |
Symbolic logic is usually divided into two subfields, propositional logic and predicate logic. |
Блекли создал математическую предикативную модель для нас, модель, озволяющую создавать геополитические изменения. |
Blakely designed math-based predictive models for us, models to help create geopolitical change. |
Более того, они должны признавать эффективный и действенный предикат отклонения. |
Moreover, they should admit an efficient and effective reject predicate. |
Если X-плоская алгебраическая кривая, то степень двойственности - это число точек пересечения с прямой в двойной плоскости. |
If X is a plane algebraic curve then the degree of the dual is the number of points intersection with a line in the dual plane. |
Определение касательного конуса может быть распространено на абстрактные алгебраические многообразия и даже на общие Нетеровые схемы. |
The definition of the tangent cone can be extended to abstract algebraic varieties, and even to general Noetherian schemes. |
Он алгебраически проще, хотя на практике менее надежен, чем среднее абсолютное отклонение. |
It is algebraically simpler, though in practice less robust, than the average absolute deviation. |
В то время как действия, ситуации и объекты являются элементами предметной области, флюенты моделируются либо как предикаты, либо как функции. |
While actions, situations, and objects are elements of the domain, the fluents are modeled as either predicates or functions. |
Матрицы вращения обеспечивают алгебраическое описание таких вращений и широко используются для вычислений в геометрии, физике и компьютерной графике. |
Rotation matrices provide an algebraic description of such rotations, and are used extensively for computations in geometry, physics, and computer graphics. |
Обратите внимание на поразительные просто кажущиеся различия с эквивалентной алгебраической формулировкой ли, приведенной ниже. |
Note the striking merely apparent differences to the equivalent Lie-algebraic formulation below. |
This reduces the problem to the solution of an algebraic equation. |
|
Метод Фолди-Вутюйзена идеально подходит для алгебраического подхода ли к оптике. |
The Foldy–Wouthuysen technique is ideally suited for the Lie algebraic approach to optics. |
Он предполагает, что существование не является предикатом или качеством. |
He proposes that existence is not a predicate, or quality. |
Не все интенсификаторы одинаковы синтаксически—они различаются в зависимости от того, могут ли они использоваться атрибутивно или предикативно. |
Not all intensifiers are the same syntactically—they vary on whether they can be used attributively or predicatively. |
Аль-Каласади был последним крупным арабским алгебраистом средневековья, который усовершенствовал алгебраическую нотацию, ранее использовавшуюся в Магрибе Ибн аль-банной. |
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. |
Предикативное прилагательное может быть положительной, сравнительной или превосходной основой прилагательного, поэтому оно имеет ту же форму, что и наречие. |
A predicative adjective can be the positive, comparative or superlative stem of an adjective, therefore it has the same form as the adverb. |
А затем используйте алгебраическую геометрию и базисы Гребнера,чтобы получить структуру и условие реконструкции многомерных банков фильтров с избыточной дискретизацией. |
And then use Algebraic geometry and Gröbner bases to get the framework and the reconstruction condition of the multidimensional oversampled filter banks. |
В течение марта и апреля 1678 года он участвует в большом предикатном и апостольском походе, которому помогают священники оратории. |
During the months of March and April 1678 he participates in a big predication and apostolic campaign helped by the priests of the Oratory. |
Правило Лопиталя можно также применять к другим неопределенных форм, с использованием соответствующих алгебраических преобразований. |
L'Hôpital's rule can also be applied to other indeterminate forms, using first an appropriate algebraic transformation. |
Однако, если элементы A являются всеми алгебраическими числами, которые включают рациональные числа, то собственные значения являются комплексными алгебраическими числами. |
However, if the entries of A are all algebraic numbers, which include the rationals, the eigenvalues are complex algebraic numbers. |
Поскольку алгебраические числа образуют подполе действительных чисел, многие иррациональные действительные числа могут быть построены путем объединения трансцендентных и алгебраических чисел. |
Because the algebraic numbers form a subfield of the real numbers, many irrational real numbers can be constructed by combining transcendental and 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. |
Плюригенеры являются важными бирациональными инвариантами алгебраического многообразия. |
The plurigenera are important birational invariants of an algebraic variety. |
Выполнение этого вычисления в пространстве Лапласа превращает свертку в умножение; последнее легче решить из-за его алгебраической формы. |
Performing this calculation in Laplace space turns the convolution into a multiplication; the latter being easier to solve because of its algebraic form. |
Условность здесь заключается в том, что буква S является субъектом вывода, P-предикатом вывода, а M-средним термином. |
The convention here is that the letter S is the subject of the conclusion, P is the predicate of the conclusion, and M is the middle term. |
Он утверждает, что проблема индукции возникает только в том случае, если мы отрицаем возможность основания предиката, находящегося в непреходящей природе чего-либо. |
He argues that the problem of induction only arises if we deny the possibility of a reason for the predicate, located in the enduring nature of something. |
В результате Тарский считал, что семантическая теория не может быть применена ни к одному естественному языку, такому как английский, поскольку они содержат свои собственные предикаты истинности. |
As a result, Tarski held that the semantic theory could not be applied to any natural language, such as English, because they contain their own truth predicates. |
Другое алгебраическое доказательство фундаментальной теоремы может быть дано с помощью теории Галуа. |
Another algebraic proof of the fundamental theorem can be given using Galois theory. |
В данной работе рассматриваются не только нулевые, но и отрицательные числа и алгебраические правила для элементарных операций арифметики с такими числами. |
This work considers not only zero, but also negative numbers and the algebraic rules for the elementary operations of arithmetic with such numbers. |
В 1813 году, если более высокий титул не признавался, мужчины должны были носить только наследственный предикат Джонхеера. |
In 1813, if no higher title was recognised, the men only were to bear the hereditary predicate of Jonkheer. |
Однако XML-элемент может быть преобразован - в зависимости от контекста-как субъект, предикат или объект тройки. |
An XML element, however, can be transformed - depending on the context- as a subject, a predicate or object of a triple. |
Основная цель состоит в том, чтобы найти алгебраические инварианты, которые классифицируют топологические пространства с точностью до гомеоморфизма, хотя обычно большинство классифицируют с точностью до гомотопической эквивалентности. |
The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence. |
Таким образом, геометрическое точечное произведение равно алгебраическому точечному произведению. |
So the geometric dot product equals the algebraic dot product. |
Скалярное умножение представлено тем же способом, что и алгебраическое умножение. |
Scalar multiplication is represented in the same manners as algebraic multiplication. |
Один из способов избежать этого-создать один алгебраический тип данных для каждого использования. |
One way this can be avoided is by creating one algebraic data type for each use. |
В алгебраической геометрии естественный аналог покрывающей карты называется этальным морфизмом. |
In algebraic geometry, the natural analog of a covering map is called an étale morphism. |
Кристаллические когомологии и многие другие теории когомологий в алгебраической геометрии также определяются как когомологии Пучков на соответствующем сайте. |
Crystalline cohomology and many other cohomology theories in algebraic geometry are also defined as sheaf cohomology on an appropriate site. |
Подсчет числа линейных расширений конечного множества является общей проблемой в алгебраической комбинаторике. |
Counting the number of linear extensions of a finite poset is a common problem in algebraic combinatorics. |
Преобразование Чирнхауса, с помощью которого он удалил некоторые промежуточные члены из данного алгебраического уравнения, хорошо известно. |
The Tschirnhaus transformation, by which he removed certain intermediate terms from a given algebraic equation, is well known. |
Сложные топологические вопросы могут быть переведены в алгебраические вопросы, которые часто легче решить. |
Difficult topological questions can be translated into algebraic questions which are often easier to solve. |
Эта часть касается причинности между свойствами и состояниями исследуемой вещи, а не ее субстанций или предикатов. |
This part is about causation between properties and states of the thing under study, not its substances or predicates. |
Однако внутри каждой группы обоев все группы симметрии алгебраически изоморфны. |
However, within each wallpaper group, all symmetry groups are algebraically isomorphic. |
Затем были предложены альтернативные решения, включающие завершение предиката, плавную окклюзию, аксиомы преемственного состояния и т. д. |
Alternative solutions were then proposed, involving predicate completion, fluent occlusion, successor state axioms, etc. |
Теория Redundnay утверждает, что это избыточный предикат, а не свойство. |
Redundnay theoriest hold that it is a redundant prediate and not a property. |
Прозентенциалисты считают, что истина не является излишней, но и не является предикатом! |
Prosententialists hold that truth is not redundant but neither is it a predicate! |
Это, по-видимому, именно то, что предложил Бертран Рассел, и что теперь делается более широко в логике предикатов. |
This seems to be exactly what Bertrand Russell suggested, and which is now done more generally in predicate logic. |
Дуров ввел коммутативные алгебраические монады как обобщение локальных объектов в обобщенной алгебраической геометрии. |
Durov introduced commutative algebraic monads as a generalization of local objects in a generalized algebraic geometry. |
В 1659 году Уоллис приписал Уильяму Нейлу открытие первой ректификации нетривиальной алгебраической кривой-полукубической параболы. |
In 1659, Wallis credited William Neile's discovery of the first rectification of a nontrivial algebraic curve, the semicubical parabola. |
Насколько я понимаю, это только количественная оценка, которая ограничивается одноместными предикатами в MSO. |
As far as I understand it is only the quantification which is limited to one-place predicates in MSO. |
Наиболее интуитивным способом, вероятно, является измерение касательного пространства в любой регулярной точке алгебраического многообразия. |
The most intuitive way is probably the dimension of the tangent space at any Regular point of an algebraic variety. |
В интерпретируемых теориях более высокого порядка предикаты могут интерпретироваться как множество множеств. |
In interpreted higher-order theories, predicates may be interpreted as sets of sets. |
Она также недавно стала популярной в формальной логике при абстракции предикатов. |
It has also recently become popular in formal logic under predicate abstraction. |
Я не отрицаю алгебраических вещей, которые вы подчеркиваете. |
I am not denying the algebraic things that you emphasize. |
Количество и пространство играют определенную роль в аналитической геометрии, дифференциальной геометрии и алгебраической геометрии. |
Quantity and space both play a role in analytic geometry, differential geometry, and algebraic geometry. |
Комплексные числа, которые не являются алгебраическими, называются трансцендентными числами. |
Complex numbers which are not algebraic are called transcendental numbers. |
Комплексные числа, которые не являются алгебраическими, называются трансцендентными числами. |
Such sources effectively may not conserve energy. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «алгебраический предикат».
А именно, здесь можно найти перевод (значение) «алгебраический предикат» на английском языке, синонимы, антонимы, краткое определение слов: алгебраический, предикат . Также, к фразе «алгебраический предикат» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
