Deduction theorem - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
noun: вычет, вывод, удержание, дедукция, вычитание, отчисление, скидка, выведение, заключение, вычитаемое
tax deduction - налоговый вычет
bark deduction - вычитание толщины коры
advance deduction - предварительное удержание
disallowed deduction - аннулированная скидка
aftertax deduction - посленалоговый вычет
contributory deduction - вносящий вывод
deduction amount - сумма удержания
deduction from wage - удержание из заработной платы
degrade deduction - снижение качества из-за дефектов
standard deduction - стандартный вычет
Синонимы к deduction: removal, abstraction, subtraction, debit, hypothesis, conclusion, illation, assumption, belief, inference
Антонимы к deduction: confusion, addition, increase, rise
Значение deduction: the action of deducting or subtracting something.
converse theorem - обратная теорема
reciprocal theorem - взаимная теорема
shift theorem - теорема запаздывания
remainder theorem - теорема об остатке
mean value theorem - теорема о среднем
Brouwer fixed point theorem - теорема Брауэра о неподвижной точке
divergence theorem - теорема о дивергенции
ergodic theorem - эргодическая теорема
implicit function theorem - теорема неявных функций
sampling theorem - теорема отсчетов
Синонимы к theorem: assumption, concession, premise, premiss, presumption, presupposition, hypothesis, proposition, supposition, theory
Антонимы к theorem: fact, proof
Значение theorem: a general proposition not self-evident but proved by a chain of reasoning; a truth established by means of accepted truths.
Especially, the deduction theorem specific to Hilbert-style logic matches the process of abstraction elimination of combinatory logic. |
В частности, теорема дедукции, характерная для логики Гильберта, соответствует процессу исключения абстракции из комбинаторной логики. |
Noether's theorem has become a fundamental tool of modern theoretical physics and the calculus of variations. |
Теорема нетера стала фундаментальным инструментом современной теоретической физики и вариационного исчисления. |
Теперь, используя теорему об остатке Коши, мы имеем. |
|
A deduction from remuneration not exceeding 15 days' salary;. |
З. удержание из вознаграждения в размере, не превышающем оклад за 15 дней;. |
No fee deduction has been rejected so far. |
До настоящего времени случаев отказа от уплаты удерживаемых сборов не имелось. |
Now, we show how this lemma can be used to prove our main theorem. |
Теперь мы покажем, как эта лемма может быть применена для доказательства основной теоремы. |
Hence, you see, my double deduction that you had been out in vile weather, and that you had a particularly malignant boot-slitting specimen of the London slavey. |
Отсюда я, как видите, делаю двойной вывод, что вы выходили в дурную погоду и что у вас очень скверный образчик лондонской прислуги. |
There are certainly one or two indications upon the stick. It gives us the basis for several deductions. |
Кое-какие данные здесь, безусловно, есть, они и послужат нам основой для некоторых умозаключений. |
Your powers of deduction are impressive. |
Твои дедуктивные способности впечатляют. |
Your powers of deduction are particularly strong. |
Ну, возможно, твои дедуктивные способности особенно сильны. |
Well, it gives me no pleasure to say, your deduction was faulty! |
Мне грустно это говорить, но твоя логика была небезупречна! |
As a matter of fact, it does indeed apply, and you use the theorem in exactly the same way as before. |
По сути, применить её можно, и вы используете теорему точно так же, как раньше. |
It's just a logical deduction to think what you saw would be what you think, if that's in fact what you're thinking. |
Ну просто это логическое рассуждение думать то, что ты видела и то что ты могла подумать, в действительности то, что ты думаешь... |
Вы получите месячное жалование, но не более того. |
|
Well, if the police make the same deduction, it will no longer be a private matter. |
Если полиция придёт к тому же заключению, это больше не будет личным делом. |
You have the intellectual tools to make simple deductions. |
У тебя определенно есть способности, чтобы делать простые предположения. |
For the complex numbers the binomial theorem can be combined with de Moivre's formula to yield multiple-angle formulas for the sine and cosine. |
Для комплексных чисел биномиальная теорема может быть объединена с формулой де Муавра, чтобы получить многоугольные формулы для синуса и Косинуса. |
Gross average monthly wages cover total wages and salaries in cash and in kind, before any tax deduction and before social security contributions. |
Валовая среднемесячная заработная плата охватывает общую заработную плату и заработную плату в денежной и натуральной форме до вычета налогов и до уплаты взносов в Фонд социального страхования. |
Can whoever wrote that please mention at least what the conclusion of the local embedding theorem is? |
Может ли тот, кто написал это, упомянуть, по крайней мере, о выводе теоремы о локальном вложении? |
Dror Bar-Natan gave a statement concerning Lie algebras and Vassiliev invariants which is equivalent to the four color theorem. |
Дрор бар-Натан дал утверждение относительно алгебр Ли и инвариантов Васильева, которое эквивалентно теореме о четырех цветах. |
The Innate Knowledge thesis is similar to the Intuition/Deduction thesis in the regard that both theses claim knowledge is gained a priori. |
Тезис о врожденном знании аналогичен тезису об интуиции / дедукции в том отношении, что оба тезиса утверждают, что знание получено априори. |
The three aforementioned theses of Intuition/Deduction, Innate Knowledge, and Innate Concept are the cornerstones of rationalism. |
Три вышеупомянутых тезиса интуиции/дедукции, врожденного знания и врожденной Концепции являются краеугольными камнями рационализма. |
One of Plato's most cited examples for the Forms were the truths of geometry, such as the Pythagorean theorem. |
Одним из наиболее цитируемых примеров форм у Платона были истины геометрии, такие как теорема Пифагора. |
A theorem is a statement that can be derived from those axioms by application of these rules of inference. |
Теорема-это утверждение, которое может быть выведено из этих аксиом путем применения этих правил вывода. |
Russell continued to insist that logical deduction can provide knowledge of truth. |
Рассел продолжал настаивать на том, что логическая дедукция может дать знание истины. |
In order to prove the lemma, we must introduce the binomial theorem, which states that for any positive integer n,. |
Чтобы доказать лемму, мы должны ввести биномиальную теорему, которая утверждает, что для любого положительного целого числа n,. |
Bernhard Riemann proved that a conditionally convergent series may be rearranged to converge to any value at all, including ∞ or −∞; see Riemann series theorem. |
Бернхард Риман доказал, что условно сходящийся ряд может быть переупорядочен, чтобы сходиться к любому значению вообще, включая ∞ или −∞; см. теорему о рядах Римана. |
В 1872 году он доказал свою H-теорему, используя этот принцип. |
|
Более простое утверждение теоремы использует теорию графов. |
|
Assuming no boundary terms in the action, Noether's theorem implies that. |
Предполагая отсутствие граничных условий в действии, теорема Нетера подразумевает это. |
A simpler, but related, problem is proof verification, where an existing proof for a theorem is certified valid. |
Более простая, но связанная с ней проблема-это проверка доказательств, когда существующее доказательство теоремы считается действительным. |
Finally, the editors continually make deductions that are not obvious to the reader, and don't bother to explain how they, or any physicist, arrived at them. |
Наконец, Редакторы постоянно делают выводы, которые не очевидны для читателя, и не утруждают себя объяснением того, как они или любой физик пришли к ним. |
По теореме сжатия это дает Интеграл Гаусса. |
|
The sampling theorem states that sampling frequency would have to be greater than 200 Hz. |
Теорема о выборке гласит, что частота дискретизации должна быть больше 200 Гц. |
The Hadamard three-circle theorem is a statement about the maximum value a holomorphic function may take inside an annulus. |
Теорема Адамара о трех кругах-это утверждение о максимальном значении, которое голоморфная функция может принимать внутри кольца. |
He provided accurate trigonometric tables and expressed the theorem in a form suitable for modern usage. |
Он предоставил точные тригонометрические таблицы и выразил теорему в форме, пригодной для современного использования. |
In fact, by the time hierarchy theorem, they cannot be solved in significantly less than exponential time. |
На самом деле, согласно теореме об иерархии времени, они не могут быть решены за значительно меньшее, чем экспоненциальное время. |
In more general usage, a central limit theorem is any of a set of weak-convergence theorems in probability theory. |
В более общем смысле центральная предельная теорема - это любая из множества теорем слабой сходимости в теории вероятностей. |
This result is strengthened slightly in the following part of the theorem. |
Этот результат несколько усиливается в следующей части теоремы. |
Many proofs of the index theorem use pseudodifferential operators rather than differential operators. |
Многие доказательства теоремы об индексе используют псевдодифференциальные операторы, а не дифференциальные операторы. |
By taking Y to be some sphere that X embeds in, this reduces the index theorem to the case of spheres. |
Принимая Y за некоторую сферу, в которую встроен X, это сводит теорему об индексе к случаю сфер. |
The multidimensional central limit theorem states that when scaled, sums converge to a multivariate normal distribution. |
Многомерная центральная предельная теорема утверждает, что при масштабировании суммы сходятся к многомерному нормальному распределению. |
Kolmogorov used this theorem to define several functions of strings, including complexity, randomness, and information. |
Колмогоров использовал эту теорему для определения нескольких функций строк, включая сложность, случайность и информацию. |
The fact that it will always do so is implied by Poncelet's closure theorem, which more generally applies for inscribed and circumscribed conics. |
Тот факт, что это всегда будет так, подразумевается теоремой о замыкании Понселе, которая более широко применяется для вписанных и ограниченных коник. |
In 1963, Vladimir Arnold discovered a topological proof of the Abel–Ruffini theorem, which served as a starting point for topological Galois theory. |
В 1963 году Владимир Арнольд открыл топологическое доказательство теоремы Абеля-Руффини, которое послужило отправной точкой для топологической теории Галуа. |
Noether's theorem is important, both because of the insight it gives into conservation laws, and also as a practical calculational tool. |
Теорема нетера важна, как из-за понимания ею законов сохранения, так и в качестве практического вычислительного инструмента. |
This is a consequence of the prime number theorem. |
Это следствие теоремы о простых числах. |
Finally, Rouché's theorem gives perhaps the shortest proof of the theorem. |
Наконец, теорема Руше дает, возможно, самое короткое доказательство теоремы. |
Using the general approach outlined by Lamé, Kummer proved both cases of Fermat's Last Theorem for all regular prime numbers. |
Используя общий подход, изложенный Ламе, Куммер доказал оба случая последней теоремы Ферма для всех регулярных простых чисел. |
Nachbin's theorem gives necessary and sufficient conditions for the Borel transform to be well defined. |
Теорема нахбина дает необходимые и достаточные условия для того, чтобы преобразование Бореля было хорошо определено. |
One can therefore say that the contemporary paradigm of social choice theory started from this theorem. |
Поэтому можно сказать, что современная парадигма теории социального выбора исходила из этой теоремы. |
Harel traced the origin of this folk theorem to two papers marking the beginning of computing. |
Харель проследил происхождение этой народной теоремы до двух работ, отмечающих начало вычислений. |
Also, my work on various forms of operator theory, Berlin 1930 and Princeton 1935–1939; on the ergodic theorem, Princeton, 1931–1932. |
Кроме того, моя работа по различным формам теории операторов, Берлин 1930 и Принстон 1935-1939; по эргодической теореме, Принстон, 1931-1932. |
His discussion of the combinatorics of meters corresponds to an elementary version of the binomial theorem. |
Его обсуждение комбинаторики метров соответствует элементарному варианту биномиальной теоремы. |
It generalizes the Cauchy integral theorem and Cauchy's integral formula. |
Он обобщает интегральную теорему Коши и интегральную формулу Коши. |
According to the residue theorem, then, we have. |
Тогда, согласно теореме об остатках, мы имеем. |
Shannon used Nyquist's approach when he proved the sampling theorem in 1948, but Nyquist did not work on sampling per se. |
Шеннон использовал подход Найквиста, когда он доказал теорему выборки в 1948 году, но Найквист не работал над выборкой как таковой. |
Этот второй результат стал известен как теорема Белла. |
|
Quarks are spin-1⁄2 particles, implying that they are fermions according to the spin–statistics theorem. |
Кварки - это частицы со спином 1⁄2, что означает, что они являются фермионами в соответствии с теоремой о спиновой статистике. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «deduction theorem».
А именно, здесь можно найти перевод (значение) «deduction theorem» на русском языке, синонимы, антонимы, краткое определение слов: deduction, theorem , а также произношение и транскрипцию к «deduction theorem». Также, к фразе «deduction theorem» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
