Английский - русский
Перевод слова Proof
Вариант перевода Доказательство

Примеры в контексте "Proof - Доказательство"

Примеры: Proof - Доказательство
If it's Becky's, we'll have our proof that Hollis is the one who hired her. Если это Бекки, у нас будет доказательство того, что Холлис - тот, кто ее нанял.
Where's your proof that I killed anyone? Где ваше доказательство того, что я убил кого-то?
Well, I'd say Slade is living proof that someone stole your family key to never-never escape land. Что ж, Слэйд - живое доказательство тому, что кто-то украл твой фамильный ключик от земли не столь отдаленной.
The effect the fire had on this ring is proof that the so-called gems in the setting are fakes, nothing but paste. Эффект произведенный огнем на это кольцо доказательство того, что так называемые камни в обрамлении - подделки, не более чем стразы.
Latin America and the Caribbean have offered the world proof that they constitute a region in which prohibition and non-proliferation are part of their historical heritage. Латинская Америка и Карибский регион дали миру доказательство того, что они представляют собой регион, в котором запрещение и нераспространение входит в состав их исторического наследия.
This proof, published by Gabriel Lamé in 1844, represents the beginning of computational complexity theory, and also the first practical application of the Fibonacci numbers. Это доказательство, опубликованное Габриэлем Ламе в 1844 году, представляет собой начало теории сложности вычислений, а также первое практическое применение чисел Фибоначчи.
For instance, in 1985, Monsur Kenku gave a proof using the Klein quartic (though again utilizing modular functions). Например, в 1985, Монсур Кенку дал доказательство, используя квартику Клейна (хотя также с использованием модулярных функций).
An informal proof in the mathematics literature, by contrast, requires weeks of peer review to be checked, and may still contain errors. Неформальное доказательство в математической публикации, однако, требует недель тщательного анализа и проверок, и может все ещё содержать ошибки.
In 1902, Hurwitz published a short proof using the Fourier series that applies to arbitrary rectifiable curves (not assumed to be smooth). В 1902 году Гурвиц опубликовал короткое доказательство, использующее ряды Фурье, которое применимо к произвольным спрямляемым кривым (не обязательно гладким).
A proof by Maria Chudnovsky, Neil Robertson, Paul Seymour, and Robin Thomas was announced in 2002 and published by them in 2006. Доказательство Марии Чудновской, Нила Робертсона, Пола Сеймура и Робина Томаса было заявлено в 2002 и опубликовано ими в 2006.
Sometimes, however, a statement of a theorem can be original enough to be considered deep, even though its proof is fairly obvious. Впрочем, возможны случаи, когда формулировка теоремы может быть достаточно оригинальной, чтобы считаться глубокой, даже если её доказательство вполне очевидно.
Leopold Kronecker first stated Minkowski's theorem in 1882, though the first proof was given by Hermann Minkowski in 1891. Леопольд Кронекер сформулировал теорему Минковского в 1882, хотя доказательство её Герман Минковский дал лишь в 1891.
During his lifetime, Fermat challenged several other mathematicians to prove the non-existence of a Pythagorean triangle with square area, but did not publish the proof himself. В течение жизни Ферма предлагал некоторым другим математикам доказать несуществование пифагорова треугольника с площадью, являющейся квадратом, но сам доказательство не опубликовал.
A formal proof is a sequence of well-formed formulas of a formal language, the last of which is a theorem of a formal system. Формальное доказательство - последовательность правильно построенных формул ФЯ, последняя из которых рассматривается как теорема формальной системы.
Their proof uses the Ramanujan conjecture, which led to the name of Ramanujan graphs. Их доказательство использует гипотезу Рамануджана, откуда и получили название графы Рамануджана.
Bézout, who did not have at his disposal modern algebraic notation for equations in several variables, gave a proof based on manipulations with cumbersome algebraic expressions. Безу, который не имел в своём распоряжении современных алгебраических обозначений уравнений от нескольких переменных, дал доказательство, основанное на манипуляциях с громоздкими алгебраическими выражениями.
The proof examines the set of elements a in the finite field of order pq such that a and 2-a both have norm 1. Доказательство проверяет множество элементов а в конечном поле порядка pq, таких что a и 2-a имеют норму 1.
It was about 17 pages long, which at the time was thought to be very long for a proof in group theory. Доказательство заняло около 17 страниц, что было на то время очень большим для теории групп.
They are rather like high-level sketches that would allow an expert to reconstruct a formal proof at least in principle, given enough time and patience. Они скорее подобны высокоуровневым очеркам-эскизам, которые позволяют эксперту восстанавливать формальное доказательство по крайней мере в принципе, имей он достаточно времени и терпения.
It was taken in 1989 at a farm near Montreal, and I believe it's the proof Hatcher was searching for his whole life. Фотография сделана в 1989 году на ферме около Монреаля, и мне кажется, это то самое доказательство, которое Хэтчер искал - всю свою жизнь.
The proof involves building a tree automaton for the formula and then testing whether the automaton has an accepting path. Доказательство использует построение автомата над деревом для формулы, а затем проверку, имеет ли автомат приемлемый путь.
The invariant holds initially (at the root), because the original proof showed that the (unconditioned) probability of failure is less than 1. Условие инвариантности первоначально (в корне) выполняется, поскольку исходное доказательство показывает, что (безусловная) вероятность неудачи меньше 1.
In this context our goal is an efficient approximation algorithm, not just an existence proof, so we are not done. В этом контексте нашей целью является эффективный алгоритм аппроксимации, не просто доказательство существования, так что мы не закончили рассмотрение шага З.
Further suspicious circumstances follow, including Banner disappearing behind the Iron Curtain for a time, but proof that Banner is a traitor continues to elude Talbot. Далее следуют подозрительные обстоятельства, в том числе исчезновение Баннера за железным занавесом, но доказательство того, что Баннер является предателем, по-прежнему ускользает от Тэлбота.
An erroneous proof was published in 1879 by Alfred Kempe, but it was discovered to be erroneous by 1890. Доказательство теоремы опубликовал в 1879 году Альфред Кемпе, но в 1890 была обнаружена его ошибочность.