Математическое доказательство - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
математический тест - math test
математический алгоритм - math algorithm
математический элемент - math element
математический оператор - math operator
математический символ - math symbol
математический анализ - mathematical analysis
золотой ключик (математический конкурс) - golden key (mathematical competition)
математический формализм - mathematical formalism
Математический институт Клэя - Clay Mathematics Institute
механико-математический факультет МГУ - MSU Faculty of Mechanics and Mathematics
Синонимы к математический: общематематический, символический, точный, ясный
имя существительное: evidence, proof, substantiation, testimony, argument, demonstration, witness, vindication, seal, averment
неопровержимое доказательство - irrefutable proof
доказательство покупки - proof of purchase
конкретное доказательство - concrete evidence
непрямое доказательство - indirect evidence
эмпирическое доказательство - empirical evidence
лучшее доказательство - the best evidence
онтологическое доказательство - the ontological argument
доказательство подлинности - original evidence
верное доказательство - sure proof
надлежащее доказательство - adequate evidence
Синонимы к доказательство: доказательство, оправдательный документ, обязательный номер, демонстрирование, демонстрация, показ, улика, подтверждение, проявление, аргумент
Значение доказательство: Довод или факт, подтверждающий, доказывающий что-н..
Математическая индукция-это правило вывода, используемое в формальных доказательствах. |
Mathematical induction is an inference rule used in formal proofs. |
Однако математики обычно предпочитают строгие доказательства, которые не требуют обращения к физической интуиции. |
However, mathematicians generally prefer rigorous proofs that do not require an appeal to physical intuition. |
Это различие важно, потому что оно означает, что неразрешимые доказательства подвергают математику гораздо более высокому риску ошибки. |
This distinction is important because it means that non-surveyable proofs expose mathematics to a much higher potential for error. |
Доказательствами можно восхищаться за их математическую красоту. |
Proofs may be admired for their mathematical beauty. |
Автоматизированное рассуждение над математическим доказательством стало главным стимулом для развития информатики. |
Automated reasoning over mathematical proof was a major impetus for the development of computer science. |
Древнегреческие математики, такие как Папп Александрийский, знали об этом свойстве, но сферы одуванчика облегчают доказательство. |
Ancient Greek mathematicians such as Pappus of Alexandria were aware of this property, but the Dandelin spheres facilitate the proof. |
Современные математики считали эту гипотезу важной, но чрезвычайно трудной или, возможно, невозможной для доказательства. |
The conjecture was seen by contemporary mathematicians as important, but extraordinarily difficult or perhaps impossible to prove. |
Доказательства используют логику, выраженную в математических символах, наряду с естественным языком, который обычно допускает некоторую двусмысленность. |
Proofs employ logic expressed in mathematical symbols, along with natural language which usually admits some ambiguity. |
Математики ищут и используют паттерны для формулирования новых гипотез; они решают истинность или ложность гипотез с помощью математического доказательства. |
Mathematicians seek and use patterns to formulate new conjectures; they resolve the truth or falsity of conjectures by mathematical proof. |
Частным случаем является математическая ошибка, намеренно неверное математическое доказательство, часто с ошибкой тонкой и как-то скрытой. |
A special case is a mathematical fallacy, an intentionally invalid mathematical proof, often with the error subtle and somehow concealed. |
Дополнительным преимуществом структурированной программы является то, что она поддается доказательствам правильности с помощью математической индукции. |
An additional benefit of a structured program is that it lends itself to proofs of correctness using mathematical induction. |
Институт математики Клэя предлагает вознаграждение в размере 1 миллиона долларов США каждому, кто имеет формальное доказательство того, что P=NP или что P≠NP. |
The Clay Mathematics Institute is offering a US$1 million reward to anyone who has a formal proof that P=NP or that P≠NP. |
Точность, математическое доказательство, все, что хочешь, но думаю, что это бессмысленно. |
The mathematical precision of it all you can try and calculate all you want but it's useless. |
В 1960-1970-е годы немецкий математик Генрих Хиш разработал методы использования компьютеров для поиска доказательств. |
During the 1960s and 1970s German mathematician Heinrich Heesch developed methods of using computers to search for a proof. |
Дуглас продемонстрировал, что кредиты создают депозиты, и представил математическое доказательство в своей книге социальный кредит. |
Douglas demonstrated that loans create deposits, and presented mathematical proof in his book Social Credit. |
Анналы математики приняли это доказательство в 2005 году, но были уверены в нем только на 99%. |
Annals of Mathematics accepted the proof in 2005; but was only 99% sure of the proof. |
Одним из вариантов математической индукции является доказательство методом бесконечного спуска, которое может быть использовано, например, для доказательства иррациональности квадратного корня из двух. |
A variant of mathematical induction is proof by infinite descent, which can be used, for example, to prove the irrationality of the square root of two. |
Примеры особенно емких и откровенных математических аргументов были опубликованы в доказательствах из книги. |
Examples of particularly succinct and revelatory mathematical arguments has been published in Proofs from THE BOOK. |
В математике существует различие между прозрением и формулированием или обработкой доказательства. |
In mathematics there is a distinction between insight and formulating or working through a proof. |
Понятие доказательства формализовано в области математической логики. |
The concept of proof is formalized in the field of mathematical logic. |
По сути, мы, подобно математикам, можем применить греческие символы для доказательства теоремы, согласно которой именно такой робот принесёт человеку пользу. |
In fact, we can, with suitable use of Greek symbols, as mathematicians usually do, we can actually prove a theorem that says that such a robot is provably beneficial to the human. |
Классическим доказательством противоречия из математики является доказательство того, что квадратный корень из 2 иррационален. |
A classic proof by contradiction from mathematics is the proof that the square root of 2 is irrational. |
Оригинальные доказательства теорем неполноты Геделя, как и большинство математических доказательств, были написаны на естественном языке, предназначенном для человеческого читателя. |
Gödel's original proofs of the incompleteness theorems, like most mathematical proofs, were written in natural language intended for human readers. |
Он подробно показывает, как подход в синтаксических структурах восходит непосредственно к работе математического логика Эмиля поста по формализации доказательства. |
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, in symbolic logic and mathematical logic, proofs by humans can be computer-assisted. |
Есть много способов показать это равенство, от интуитивных аргументов до математически строгих доказательств. |
There are many ways of showing this equality, from intuitive arguments to mathematically rigorous proofs. |
Доказательство теоремы широко использует методы математической логики, такие как теория моделей. |
The proof of the theorem makes extensive use of methods from mathematical logic, such as model theory. |
См. определения экспоненциальной функции для математического доказательства этого предела. |
See definitions of the exponential function for the mathematical proof of this limit. |
Математическая индукция, в той или иной форме, является основой всех доказательств правильности компьютерных программ. |
Mathematical induction, in some form, is the foundation of all correctness proofs for computer programs. |
Это было известно древнегреческим математикам, таким как Аполлоний из перги, но сферы одуванчика облегчают доказательство. |
This was known to Ancient Greek mathematicians such as Apollonius of Perga, but the Dandelin spheres facilitate the proof. |
Этот аргумент в конечном счете стал математическим доказательством. |
This argument eventually became a mathematical proof. |
Если теория доказательств и теория моделей были основой математической логики, то они были лишь двумя из четырех столпов этого предмета. |
If proof theory and model theory have been the foundation of mathematical logic, they have been but two of the four pillars of the subject. |
Подавляющее большинство работ в этом океане содержат новые математические теоремы и их доказательства. |
The overwhelming majority of works in this ocean contain new mathematical theorems and their proofs. |
Хотя парадоксы Зенона точно демонстрировали недостатки современных математических концепций, они не рассматривались как доказательство альтернативы. |
While Zeno’s paradoxes accurately demonstrated the deficiencies of current mathematical conceptions, they were not regarded as proof of the alternative. |
Хотя он довольно свободно используется в математических доказательствах,не каждая школа математической мысли принимает этот вид неконструктивного доказательства как общезначимое. |
Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. |
Несколько групп математиков подтвердили правильность доказательства Перельмана. |
Several teams of mathematicians verified that Perelman's proof was correct. |
Письмо Фэри было прочитано Коши, который представил доказательство в своих математических упражнениях и приписал этот результат Фэри. |
Farey's letter was read by Cauchy, who provided a proof in his Exercices de mathématique, and attributed this result to Farey. |
Математический аргумент не нуждается в доказательстве того, что 2+2=4; но вопрос о надежности WR есть. |
A mathematical argument does not need to prove that 2+2=4; but the question of the reliability of the WR does. |
Аргументы правдоподобия с использованием эвристических приемов, таких как изображения и аналогии, предшествовали строгому математическому доказательству. |
Plausibility arguments using heuristic devices such as pictures and analogies preceded strict mathematical proof. |
Он создал математическое доказательство теоремы Пифагора и математическую формулу для исключения Гаусса. |
It created mathematical proof for the Pythagorean theorem, and a mathematical formula for Gaussian elimination. |
Наиболее распространенная форма доказательства с помощью математической индукции требует доказательства на индуктивном этапе, что. |
The most common form of proof by mathematical induction requires proving in the inductive step that. |
Затем перейдем к математике, различным доказательствам и числовым совпадениям, о которых широко сообщалось и писалось. |
Then move to the math, the different proofs and numerical coincidences that have been widely reported and written about. |
Эджворт приложил немало усилий, чтобы доказать, что математические доказательства подходят для всех школ экономической мысли. |
Edgeworth devoted considerable effort to insisting that mathematical proofs were appropriate for all schools of thought in economics. |
Доказательство Уайлсом последней теоремы Ферма выдержало пристальное внимание других математических экспертов мира. |
Wiles's proof of Fermat's Last Theorem has stood up to the scrutiny of the world's other mathematical experts. |
Аналоги диагонального аргумента широко используются в математике для доказательства существования или несуществования определенных объектов. |
Analogues of the diagonal argument are widely used in mathematics to prove the existence or nonexistence of certain objects. |
Доказательство решения трехмерного случая, несмотря на то, что его легко концептуализировать и моделировать в физическом мире, ускользало от математиков до середины 20-го века. |
Proving a solution to the three-dimensional case, despite being easy to conceptualise and model in the physical world, eluded mathematicians until the mid-20th century. |
Я делаю это, потому что я думаю, что CltFn будет указывать на то, что у нас нет доказательств того, что эти математики были мусульманами. |
I am doing this because I think CltFn would make the point that we don't have proof that these mathematicians were Muslim. |
Формальное доказательство - это доказательство, в котором каждый логический вывод был возвращен к фундаментальным аксиомам математики. |
A formal proof is a proof in which every logical inference has been checked back to the fundamental axioms of mathematics. |
Первый результат открыл дверь для математиков, чтобы принять аксиому выбора в своих доказательствах. |
The former result opened the door for mathematicians to assume the axiom of choice in their proofs. |
Математическое доказательство-это в основном вопрос строгости. |
Mathematical proof is fundamentally a matter of rigor. |
Я размышлял о том, что ждёт меня впереди... и как лучше взяться за математику. |
I was thinking about what pictures to watch, and how to discover the charms of mathematics. |
Если нет никаких доказательств тому, что твой пороховой заговорчик исходил отсюда, тогда этого не было. |
If there's no evidence at all that your friend's little gunpowder plot originated here, then it didn't happen. |
Я бы сказал, существует больше доказательств психической неуравновешенности в вашем прошлом, чем в моем. |
I'd say there's greater evidence of... mental instability in your past than mine. |
Может быть, если ты помнишь, что твоя работа - собирать доказательсвтва, а не сочинять сказки. |
Maybe as long as you remember your job is to gather evidence and not make up stories. |
В то время как Ганеман был против таких препаратов, современные гомеопаты часто используют их, хотя нет никаких доказательств того, что они оказывают какое-либо благотворное воздействие. |
While Hahnemann was opposed to such preparations, modern homeopaths often use them although there is no evidence to indicate they have any beneficial effects. |
В 1990-е годы при поддержке правительства были разработаны и продвигались учебники математики, основанные на новых стандартах, в значительной степени основанных на конструктивизме. |
In the 1990s, mathematics textbooks based on new standards largely informed by constructivism were developed and promoted with government support. |
Я рекомендую удалить эту часть раздела доказательств, если по каждому пункту не могут быть предоставлены ссылки. |
I recommend this portion of the evidence section be removed if a citations cannot be provided for each point. |
Было достаточно доказательств, чтобы держать его под стражей до экстрадиции, и он согласился на упрощенный процесс. |
There was sufficient evidence to keep him in custody until extradition, and he agreed to a simplified process. |
Гвид Лангер и майор Максимилиан Ченжки, три гражданских математика-криптолога, а также полковник А. |
High levels of organic C develop in soils supporting wetland ecology, flood deposition, fire ecology, and human activity. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «математическое доказательство».
А именно, здесь можно найти перевод (значение) «математическое доказательство» на английском языке, синонимы, антонимы, краткое определение слов: математическое, доказательство . Также, к фразе «математическое доказательство» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
