Method of proof - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция

Method of proof - перевод на русский, синонимы, антонимы, примеры в контексте
Метод доказательства
Translate

- method [noun]

noun: метод, способ, методика, прием, порядок, система, классификация

  • method of log sawing - метод распиловки бревна

  • call restriction method - способ ограничения вызовов

  • spotting method - методика страховки

  • mentor method - метод ментора

  • unknown method - неизвестный метод

  • method show - метод шоу

  • a problem-solving method - метод решения проблем

  • transfer method - Способ передачи

  • quick method - быстрый способ

  • a proven method - испытанный метод

  • Синонимы к method: process, system, plan, modus operandi, practice, technique, strategy, tactic, routine, procedure

    Антонимы к method: chaos, disorder

    Значение method: a particular form of procedure for accomplishing or approaching something, especially a systematic or established one.

- of [preposition]

preposition: из, о, от, об, для

- proof [adjective]

noun: доказательство, проверка, доказывание, корректура, проба, испытание, пробный оттиск, гранка, пробирка

adjective: устойчивый, непроницаемый, установленной крепости, непробиваемый, не поддающийся действию, недоступный, не поддающийся чему-л.

verb: делать непроницаемым

  • short circuit proof - защищенный от короткого замыкания

  • puncture proof - проколостойкий

  • with proof of purchase - с доказательством покупки

  • vapor proof - Парозащитный

  • formal proof - формальное доказательство

  • strict proof - строгое доказательство

  • fresh proof - свежее доказательство

  • demonstrate proof - продемонстрировать доказательства

  • the burden of proof lies with - бремя доказывания лежит на

  • algebraic proof - алгебраическое доказательство

  • Синонимы к proof: unaffected by, resistant to, impenetrable by, repellent to, immune from, invulnerable to, impervious to, corroboration, certification, authentication

    Антонимы к proof: guess, theory, conjecture, mistake, belief, idea, notion, suspicion, assumption, contravention

    Значение proof: able to withstand something damaging; resistant.


examination procedure, inspection method, investigation procedure


Zeno's arguments are perhaps the first examples of a method of proof called reductio ad absurdum, literally meaning to reduce to the absurd.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Аргументы Зенона, возможно, являются первыми примерами метода доказательства, называемого reductio ad absurdum, буквально означающего сведение к абсурду.

For situations where the method fails to converge, it is because the assumptions made in this proof are not met.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В ситуациях, когда метод не сходится, это происходит потому, что допущения, сделанные в этом доказательстве, не выполняются.

Using a specific method isn't proof of nefarious attempts by government to hide the numbers.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Использование конкретного метода не является доказательством гнусных попыток правительства скрыть цифры.

If the assumptions made in the proof of quadratic convergence are met, the method will converge.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Если выполняются допущения, сделанные в доказательстве квадратичной сходимости, метод будет сходиться.

The proof of the diagonal lemma employs a similar method.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Доказательство диагональной леммы использует аналогичный метод.

An argument along similar lines is that case splitting is an accepted proof method, and the Appel–Haken proof is only an extreme example of case splitting.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Аргумент в том же духе состоит в том, что разбиение на случаи является общепринятым методом доказательства, а доказательство Аппеля–Хакена является лишь крайним примером разбиения на случаи.

Ackermann had published a flawed consistency proof for analysis in 1925, in which he attempted to use the method of ε-substitution originally developed by Hilbert.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В 1925 году Акерман опубликовал доказательство несовершенной согласованности для анализа, в котором он попытался использовать метод ε-замещения, первоначально разработанный Гильбертом.

Zeno's arguments are perhaps the first examples of a method of proof called reductio ad absurdum also known as proof by contradiction.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Аргументы Зенона, возможно, являются первыми примерами метода доказательства, называемого reductio ad absurdum, также известного как доказательство противоречием.

The method of Ricci flow, developed by Richard S. Hamilton, gives another proof of existence based on non-linear partial differential equations to prove existence.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Метод течения Риччи, разработанный Ричардом С. Гамильтоном, дает еще одно доказательство существования, основанное на нелинейных уравнениях в частных производных для доказательства существования.

A proof of concept distribution called paranoix based on the SSE register method has been developed.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Было разработано доказательство распределения понятий под названием paranoix, основанное на методе регистра SSE.

Here the evolutionary method must replace the method of proof.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Здесь эволюционный метод должен заменить метод доказательства.

Around 300 BC, Euclid introduced the axiomatic method still used in mathematics today, consisting of definition, axiom, theorem, and proof.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Около 300 года до нашей эры Евклид ввел аксиоматический метод, все еще используемый в математике сегодня, состоящий из определения, аксиомы, теоремы и доказательства.

Instead of finding a specialized proof for each formula, it would be desirable to have a general method of identifying the gamma function.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Вместо того чтобы искать специализированное доказательство для каждой формулы, было бы желательно иметь общий метод идентификации гамма-функции.

The method of proof here is truly amazing.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Метод доказательства здесь поистине поразителен.

For the proof of the results Archimedes used the Method of exhaustion of Eudoxus.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Для доказательства полученных результатов Архимед использовал метод истощения Евдокса.

In 2017, Allan Jude integrated Zstandard into the FreeBSD kernel and used it to create a proof of concept OpenZFS compression method.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В 2017 году Аллан Джуд интегрировал Zstandard в ядро FreeBSD и использовал его для создания доказательства концепции метода сжатия OpenZFS.

Johann Bernoulli's direct method is historically important as it was the first proof that the brachistochrone is the cycloid.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Прямой метод Иоганна Бернулли исторически важен, поскольку он был первым доказательством того, что брахистохрон-это циклоида.

For the following subsections, failure of the method to converge indicates that the assumptions made in the proof were not met.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Для следующих подразделов отсутствие сходимости метода указывает на то, что допущения, сделанные в доказательстве, не были выполнены.

These documents shall typically include an identity card, passport or driver's license, proof of address such as a utility bill, and proof of your payment method.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Эти документы обычно включают в себя удостоверение личности, паспорт или водительское удостоверение, подтверждение адреса, такие как счета за коммунальные услуги и доказательство вашей оплаты.

Another method of proof of existence, global analysis, uses Sard's lemma and the Baire category theorem; this method was pioneered by Gérard Debreu and Stephen Smale.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Другой метод доказательства существования, глобальный анализ, использует лемму Сарда и теорему категории Байра; этот метод был впервые предложен Жераром Дебре и Стивеном Смейлом.

Wu's proof established the EM method's convergence outside of the exponential family, as claimed by Dempster–Laird–Rubin.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Доказательство Ву установило сходимость метода ЭМ вне экспоненциального семейства, как утверждал Демпстер-Лэрд-Рубин.

As proof of their method they claimed a series of successful predictions.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В доказательство своего метода они выдвинули ряд успешных предсказаний.

Another deficiency is the inconsistent data acquisition method, plus their interpretation schemes.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Другим недостатком является непоследовательный метод сбора данных, а также схемы их интерпретации.

If a test is conducted with a deviation from a published test method or if a new method is employed, the test report must fully disclose the procedure.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Если испытание проводится с отклонением от опубликованного метода испытания или если используется новый метод, то в протоколе испытания должна быть полностью раскрыта процедура.

However, he was critical of Bacon's inductive method and approach based on pure classification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Однако он критически относился к индуктивному методу и подходу Бэкона, основанному на чистой классификации.

Not that you exactly strike me as the girl-next-door type, but you got any proof other than your say-so?

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Не то чтобы вы мне казались непорядочной девушкой, но у вас есть подтверждение вашим словам?

If it is determined that a correction must be made, the Governing Council will direct the Executive Secretary as to the proper method of correction.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Если будет принято решение о необходимости внести исправления, Совет управляющих даст указания Исполнительному секретарю о надлежащем методе его внесения.

Method name cannot be the same as name of rule ''.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Имя метода не может совпадать с именем правила.

In the discussion section, the method is discussed with respect to heterogeneity within groups of treatments and quality changes over time.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В дискуссионном разделе рассматривается метод с точки зрения неоднородности состава групп пациентов и качественных изменений во времени.

If anyone does have such proof, if anyone has hard evidence that the Kremlin is cooking the books, I would be exceedingly interested in seeing it!

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Если у кого-то есть доказательства этому, если хоть кто-то точно знает, как Кремль мухлюет со своей бухгалтерией, я буду необычайно рад вас выслушать!

Thrice did Locksley bend his shaft against De Bracy, and thrice did his arrow bound back from the knight's armour of proof.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Локсли трижды стрелял в де Браси, и всякий раз стрела отскакивала от его непроницаемой брони.

But if you feel that hollow platitudes are the best method, who am I to quibble?

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Но если вы чувствуете, что эти пустые банальности – это лучший метод, кто я такой, чтобы спорить?

Your Honor, if you just- you have no proof that evidence against Mr. Volker is inside V.N.X. Industries.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Ваша Честь, если вы просто... У вас нет доказательств, что улики против мистера Волкера находятся внутри Ви-Эн-Икс-Индастриз.

No proof yet, but compelling evidence.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Пока доказательств нет, но есть косвенные улики.

This method is often large scale as the system required to harness geothermal energy can be complex and requires deep drilling equipment.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Этот метод часто является крупномасштабным, поскольку система, необходимая для использования геотермальной энергии, может быть сложной и требует оборудования для глубокого бурения.

Proof shot emulating APFSDS rounds are also used in stabilizing-fin SoD trials, which is often combined with a charge design trial.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Пробный выстрел, эмулирующий патроны APFSDS, также используется в испытаниях SOD со стабилизирующим ребром, которые часто сочетаются с испытанием конструкции заряда.

This function defines a method that works on any instance conforming to Equatable, providing a not equals function.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Эта функция определяет метод, который работает на любом экземпляре, соответствующем Equatable, обеспечивая функцию not equals.

Some methods do all the additions first and then cast out sevens, whereas others cast them out at each step, as in Lewis Carroll's method.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Некоторые методы сначала делают все добавления, а затем отбрасывают семерки, тогда как другие отбрасывают их на каждом шаге, как в методе Льюиса Кэрролла.

A more modern method called caissoning uses reinforced concrete or plain concrete pre-cast well rings that are lowered into the hole.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Более современный метод, называемый кессонированием, использует железобетонные или простые бетонные предварительно отлитые колодезные кольца, которые опускаются в скважину.

A more direct method, however, is to simply calculate the trace, i.e., the sum of the diagonal elements of the rotation matrix.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Более прямой метод, однако, заключается в простом вычислении следа, то есть суммы диагональных элементов матрицы вращения.

The removal of the sun can be very disheartening to me, and that is proof of astrology.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Удаление Солнца может быть очень обескураживающим для меня, и это доказательство астрологии.

This method was aided by Carl Wilhelm Scheele's discovery that urine treated by concentrated nitric acid precipitated crystals.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Этому методу помогло открытие Карла Вильгельма Шееле, что моча, обработанная концентрированной азотной кислотой, осаждается кристаллами.

The methods used to remove hair have varied in different times and regions, but shaving is the most common method.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Методы, используемые для удаления волос, различались в разное время и в разных регионах, но бритье является наиболее распространенным методом.

The achievement of Chinese algebra reached its zenith in the 13th century, when Zhu Shijie invented method of four unknowns.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Достижение китайской алгебры достигло своего апогея в 13 веке, когда Чжу Шицзе изобрел метод четырех неизвестных.

Coupling of the horizontal electrodes with a vertical pressuring system make this method especially effective in removing contaminants from deeper layers of the soil.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Соединение горизонтальных электродов с вертикальной системой давления делает этот метод особенно эффективным при удалении загрязнений из более глубоких слоев почвы.

The second method is a more practical military application of Kim's Game.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Второй метод-это более практическое военное применение игры Кима.

The typical procedure used in the identification of these astroglial inclusions is the Gallyas-Braak staining method.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Типичной процедурой, используемой при идентификации этих астроглиальных включений, является метод окрашивания Галляса-Браака.

Unlike most modern psychologists, Jung did not believe in restricting himself to the scientific method as a means to understanding the human psyche.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В отличие от большинства современных психологов, Юнг не считал возможным ограничиваться научным методом как средством познания человеческой психики.

There may be differences in vermicomposting method depending on the climate.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Возможны различия в способе вермикомпостирования в зависимости от климата.

In this picture, the leveling method is applied while quite a few marks can be traced out of its subtlety and sensitivity.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

На этой картине применяется метод выравнивания, в то время как довольно много знаков можно проследить из-за его тонкости и чувствительности.

Ecotourism in South Africa has become more prevalent in recent years, as a possible method of maintaining and improving biodiversity.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В последние годы экотуризм в Южной Африке получил все большее распространение как возможный метод сохранения и улучшения биоразнообразия.

Due to the simplicity of manufacturing, the phosphor method is still the most popular method for making high-intensity white LEDs.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Благодаря простоте изготовления, люминофорный метод до сих пор остается самым популярным методом изготовления высокоинтенсивных белых светодиодов.

An indirect method works by analytically constructing the necessary and sufficient conditions for optimality, which are then solved numerically.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Косвенный метод работает путем аналитического построения необходимых и достаточных условий оптимальности, которые затем решаются численно.

All torts require proof of fault in order to determine legal responsibility, however, fault is measured differently for the different types of tort.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Все деликты требуют доказательства вины, чтобы определить юридическую ответственность, однако вина измеряется по-разному для различных видов деликта.

They are the living proof of the old Stokavian stock, who fled from the Turks.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Они являются живым доказательством старого Стокавского рода, бежавшего от турок.

Checklists are common in proof-rooms where there is sufficient uniformity of product to distill some or all of its components to a list.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Контрольные списки часто используются в проверочных цехах, где существует достаточная однородность продукта, чтобы выделить некоторые или все его компоненты в список.

To give a proof, Vera tells the inspector to dig and look for the body of Ms. Weiss beneath the butcher house.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Чтобы доказать это, вера велит инспектору копать и искать тело Мисс Вайс под домом мясника.

A long - some might say absurdly long - list of musicians is included without a shred of proof that they were influenced.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Длинный-кто-то мог бы сказать абсурдно длинный-список музыкантов включен без малейшего доказательства того, что они были подвержены влиянию.

Mathematicians seek and use patterns to formulate new conjectures; they resolve the truth or falsity of conjectures by mathematical proof.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Математики ищут и используют паттерны для формулирования новых гипотез; они решают истинность или ложность гипотез с помощью математического доказательства.



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «method of proof». А именно, здесь можно найти перевод (значение) «method of proof» на русском языке, синонимы, антонимы, краткое определение слов: method, of, proof , а также произношение и транскрипцию к «method of proof». Также, к фразе «method of proof» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information