Алгебра формализм - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
алгебра вершинных операторов - Vertex operator algebras
алгебраическая поверхность - algebraic surface
алгебра высказываний - algebra of sentences
алгебра соотношений - relationship algebra
алгебраическая конструкция - algebraic construction
алгебраический порядок точности квадратуры - polynomial order of quadrature
антикоммутативная алгебра - anticommutative algebra
ациклическая алгебра - acyclic algebra
высшая алгебра - higher algebra
теория алгебраического кодирования - algebraic coding theory
Синонимы к алгебра: математика, логистика
Антонимы к алгебра: геометрия
фиксация в формалине - formol fixation
классический формализм - classical formalism
формализованный бизнес - formalized business
формализованные критерии - formalized criteria
матричный формализм - matrix formalism
многоканальный формализм - multichannel formalism
формализм оператора бозонного сдвига - boson shift operator formalism
формализм бозонизации - bosonization formalism
эйкональный формализм - eikonal formalism
расширенная формализация - extended characterization
Синонимы к формализм: педантизм, забюрократизированность, ригоризм, казенщина, канцелярщина, формальность, официальность, педантичность, педантство, буквоедство
Значение формализм: Соблюдение внешней формы в чём-н. в ущерб существу дела.
С усложнением нашего общества и расширением торговых границ мы построили более формализованные институты, например, валютные банки, правительства и корпорации. |
As our societies grew more complex and our trade routes grew more distant, we built up more formal institutions, institutions like banks for currency, governments, corporations. |
Счет, тригонометрия, углубленная алгебра. |
Calculus, trig, advanced algebra. |
Так, я предполагаю ты думал о формализации нашего соглашения? |
So I assume you've been giving some thought to formalizing our arrangement? |
Ну да, алгебра может быть действительно абстрактной. |
Well, it can get really abstract. |
Когда мы пытаемся формализовать этику с помощью стандартной модальной логики, мы сталкиваемся с некоторыми проблемами. |
When we try and formalize ethics with standard modal logic, we run into some problems. |
Наиболее ярко это проявилось во второй половине века с постмодернизмом, но ранее модернизм и русский формализм предвосхитили эту перспективу. |
This most prominently happened in the second half of the century with postmodernism, but earlier modernism and Russian formalism had anticipated this perspective. |
В Нидерландах существует традиция изучения иностранных языков, формализованная в голландском законодательстве об образовании. |
The Netherlands has a tradition of learning foreign languages, formalised in Dutch education laws. |
Если тепло подается в систему в нескольких местах, то мы должны взять алгебраическую сумму соответствующих членов. |
If heat is supplied to the system at several places we have to take the algebraic sum of the corresponding terms. |
Ситуационное исчисление - это логический формализм, предназначенный для представления и рассуждения о динамических областях. |
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. |
Алгебраические симметрии также эквивалентны утверждению, что 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. |
Другой формализм математически эквивалентен регулярным выражениям, конечные автоматы используются в схемном проектировании и в некоторых видах решения задач. |
Another formalism mathematically equivalent to regular expressions, Finite automata are used in circuit design and in some kinds of problem-solving. |
Метод Фолди-Вутюйзена идеально подходит для алгебраического подхода ли к оптике. |
The Foldy–Wouthuysen technique is ideally suited for the Lie algebraic approach to optics. |
Эта теория является математической формализацией бритвы Оккама. |
This theory is a mathematical formalization of Occam's razor. |
Эти вычисления можно было бы упростить до алгебраической формулировки, характерной для этого газа. |
These calculations might be simplified into an algebraic formulation that is specific to that gas. |
На самом деле, во многих случаях алгебраические понятия были переформулированы в геометрические термины. |
In fact, in many cases algebraic conceptions were reformulated into geometric terms. |
Эта идея была формализована Хомским в иерархии Хомского. |
The idea was formalized by Chomsky in the Chomsky hierarchy. |
В январе 2019 года разработчики сформировали Совет Lubuntu, новый орган, формализовавший их предыдущую организацию, со своей собственной письменной Конституцией. |
In January 2019 the developers formed the Lubuntu Council, a new body to formalize their previous organization, with its own written constitution. |
А затем используйте алгебраическую геометрию и базисы Гребнера,чтобы получить структуру и условие реконструкции многомерных банков фильтров с избыточной дискретизацией. |
And then use Algebraic geometry and Gröbner bases to get the framework and the reconstruction condition of the multidimensional oversampled filter banks. |
Он подробно показывает, как подход в синтаксических структурах восходит непосредственно к работе математического логика Эмиля поста по формализации доказательства. |
He shows in detail how the approach in Syntactic Structures goes directly back to the work of the mathematical logician Emil Post on formalizing proof. |
Например, реальная матрица, реальный полином и реальная алгебра ли. |
For example, real matrix, real polynomial and real Lie algebra. |
Во многих случаях алгебраическое исключение, правило 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. |
Например, геометрия берет свое начало в вычислении расстояний и площадей в реальном мире; алгебра начинается с методов решения задач в арифметике. |
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. |
Шаблоны проектирования-это формализованные рекомендации, которые программист может использовать для решения общих проблем при проектировании приложения или системы. |
Design patterns are formalized best practices that the programmer can use to solve common problems when designing an application or system. |
Выполнение этого вычисления в пространстве Лапласа превращает свертку в умножение; последнее легче решить из-за его алгебраической формы. |
Performing this calculation in Laplace space turns the convolution into a multiplication; the latter being easier to solve because of its algebraic form. |
Хотя формализм MIME был разработан в основном для SMTP, его типы контента также важны в других протоколах связи. |
Although the MIME formalism was designed mainly for SMTP, its content types are also important in other communication protocols. |
Булева алгебра также имеет дело с функциями, которые имеют свои значения в множестве {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. |
Майкл Х. Харт формализовал основные моменты аргументации в статье 1975 года. |
Michael H. Hart formalized the basic points of the argument in a 1975 paper. |
Явка избирателей была зафиксирована на уровне 95,6%, и это подтверждение послужило толчком к формализации новой системы-президентской. |
The voter turnout was recorded at 95.6% and such confirmation was used as impetus to formalise the new system – a presidential system. |
Берр ответил вызовом Гамильтона на дуэль, личный бой по формализованным правилам дуэли, кодекс дуэли. |
Burr responded by challenging Hamilton to a duel, personal combat under the formalized rules for dueling, the code duello. |
Шестое звено индийско-Австралийского Союза было бы логическим следствием, формализованным как новый четырехугольник стратегического оплота. |
A sixth link of the India-Australia would be the logical corollary, formalized as a new quadrilateral of strategic bulwark. |
Стремление к формализации может привести к гораздо большей сложности, которая нежелательна и которая отвлекает от обсуждения соответствующего вопроса. |
The quest for formalization might introduce much more complexity, which is not wanted, and which detracts from communicating the relevant issue. |
Делинь доказал, что N-я группа когомологий произвольного алгебраического многообразия имеет каноническую смешанную структуру Ходжа. |
Deligne has proved that the nth cohomology group of an arbitrary algebraic variety has a canonical mixed Hodge structure. |
Отчасти это произошло потому, что сторонники неформальной логики стали хранителями аргументации и риторики, настаивая на том, что формализм является анафемой для аргументации. |
This was in part because proponents of informal logic became the keepers of argument and rhetoric while insisting that formalism was anathema to argument. |
Если ограничиться импликационным интуитивистским фрагментом, то простой способ формализовать логику в стиле Гильберта выглядит следующим образом. |
If one restricts to the implicational intuitionistic fragment, a simple way to formalize logic in Hilbert's style is as follows. |
Один из способов избежать этого-создать один алгебраический тип данных для каждого использования. |
One way this can be avoided is by creating one algebraic data type for each use. |
В алгебраической геометрии и комплексной аналитической геометрии когерентные пучки представляют собой класс Пучков особой геометрической важности. |
In algebraic geometry and complex analytic geometry, coherent sheaves are a class of sheaves of particular geometric importance. |
Отношения оябун-Кобун формализуются церемониальным разделением саке из одной чашки. |
The oyabun-kobun relationship is formalized by ceremonial sharing of sake from a single cup. |
Он перевел Шелеровский формализм и этику субстанциальных ценностей. |
He translated Scheler's Formalism and the Ethics of Substantive Values. |
Преобразование Чирнхауса, с помощью которого он удалил некоторые промежуточные члены из данного алгебраического уравнения, хорошо известно. |
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. |
Венская конвенция о дипломатических сношениях 1961 года формализовала эту систему и является сводом международного законодательства, действующего в настоящее время. |
The Vienna Convention on Diplomatic Relations of 1961 formalized the system and is the set of international legislation in use nowadays. |
Большинство из этих планов имели такой лимит, но ACA формализовала ежегодный лимит расходов из кармана. |
Most of these plans had such a limit but ACA formalized the annual out of pocket spend limit. |
Степени подчиняются обычному алгебраическому тождеству bk + l = bk bl. Другими словами, функция. |
Powers obey the usual algebraic identity bk + l = bk bl. In other words, the function. |
В то время как вышеупомянутые системы единиц основаны на произвольных единичных значениях, формализованных как стандарты, некоторые единичные значения естественным образом встречаются в науке. |
While the above systems of units are based on arbitrary unit values, formalised as standards, some unit values occur naturally in science. |
Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики. |
First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics. |
Я не отрицаю алгебраических вещей, которые вы подчеркиваете. |
I am not denying the algebraic things that you emphasize. |
В 25 году нашей эры Помпоний Мела, географ Римской Империи, формализовал систему климатических зон. |
In 25 AD, Pomponius Mela, a geographer for the Roman Empire, formalized the climatic zone system. |
Его практическая значимость ограничивается мысленным экспериментом и формализмом, поскольку мгновенный обмен сообщениями невозможен. |
Its practical relevance is restricted to a thought experiment and formalism, because instantaneous message exchange is impossible. |
Формализм DEVS был изобретен Бернардом П. Зиглером, который является почетным профессором Аризонского университета. |
The DEVS formalism was invented by Bernard P. Zeigler, who is emeritus professor at the University of Arizona. |
Синтаксис связан с формализмом, используемым для представления сообщения. |
Syntax is concerned with the formalism used to represent a message. |
Я просто выступаю за формализацию в политике того, что уже существует как практика де - факто-и оправданная, на мой взгляд. |
I'm simply arguing for formalizing in policy what already exists as a de facto practice - and a justifiable one in my view. |
Он был замечательным алгебраистом и арифметическим калькулятором. |
He was a remarkable algebraicist and arithmetical calculator. |
Количество и пространство играют определенную роль в аналитической геометрии, дифференциальной геометрии и алгебраической геометрии. |
Quantity and space both play a role in analytic geometry, differential geometry, and algebraic geometry. |
Алгебраические числа-это те, которые являются решением полиномиального уравнения с целыми коэффициентами. |
Algebraic numbers are those that are a solution to a polynomial equation with integer coefficients. |
Эти правила не прописаны в законе или иным образом формализованы. |
These rules are not written in law or otherwise formalized. |
Первыми основателями школ буддизма Камакура были Хонэн и Синран, которые ставили веру и практику выше формализма. |
The first originators of Kamakura Buddhism schools were Hōnen and Shinran who emphasized belief and practice over formalism. |
Лишь очень немногие авторы пытались обосновать квантовый формализм как таковой с помощью SED. |
Only a very few authors have attempted to motivate the quantum formalism as such using SED. |
Должны ли мы формализовать это и запретить двусмысленные сноски на страницах disambig? |
Should we formalize this, and prohibit disambiguating hatnotes on disambig pages? |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «алгебра формализм».
А именно, здесь можно найти перевод (значение) «алгебра формализм» на английском языке, синонимы, антонимы, краткое определение слов: алгебра, формализм . Также, к фразе «алгебра формализм» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
