Що таке КОНТРПРИКЛАД Англійською - Англійська переклад

• counterexample

Приклади вживання Контрприклад Українська мовою та їх переклад на Англійською

Це контрприклад.
So it is a counterexample.

Хтось може назвати контрприклади?
Can anyone give a counterexample?

Інший тип контрприкладів це коли A компактна і B відкрита множина.
Another type of counterexample has A compact and B open.

Проте жоден з цих відомих контрприклад не є дводольним.
However, none of these known counterexamples is bipartite.

Ділиться на оба числа, такщо це точно не контрприклад.
S divisible by both, so that's definitely not a counterexample.

Який номер працює як контрприклад до речення написаного знизу?
Which number serves as a counterexample to the statement below?

Приклад, що спростовує яке-небудь твердження, називають контрприкладом.
An example that disproves a statement is called a counterexample.

Так, контрприклад, це приклад який показує що це не завжди правда.
So, a counterexample, an example that shows that this isn't always true.

У 2005-му році Ескін, Фішер і Вайт підтвердили правильність контрприкладу.
In 2005, Eskin, Fisher, and Whyte confirmed the counterexample.

Проте достатньо всього одного справжнього контрприкладу, щоб показати, що універсальне твердження хибне.
But it takes only one genuine counter-example to show that a universal statement is false.

Більш наглядним контрприкладом є випадок, коли множини A і B обидві замкнені, але жодна з них не компактна.
A more subtle counterexample is one in which A and B are both closed but neither one is compact.

Це невеличкий граф, який слугує корисним прикладом або контрприкладом для багатьох проблем в теорії графів.
It is a small graph that serves as a useful example and counterexample for many problems in graph theory.

Будь-який значний контрприклад фальсифікує загальну претензію, а вісім таких прикладів взагалі зруйнують його».
Any significant counterexample falsifies the universal claim; eight such examples demolish it.

Обчислювальні експерименти показали, що, якщо контрприклад існує, то граф повиннен був би мати більше ніж 177 вершин.
Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices.

Такого роду контрприклад показує, що твердження допускає наявність неконструктивного принципу.
This sort of counterexample shows that the statement implies some principle that is known to be non-constructive.

В інших напрямках, Кельман показав, що контрприклад може бути перетворений в контрприклад до вихідної гіпотези Барнетта.
In the other directions, Kelmans showed that a counterexample could be transformed into a counterexample to the original Barnette conjecture.

Такий контрприклад потребує припущень, що лежать в основі теорії того, що є неможливість перегляду.
Such a counterexample would require that the assumptions underlying the theory that implied the impossibility be re-examined.

Це було спростовано Віллемом Таттом, який побудував контрприклад з 46 вершинами; інші дослідники пізніше знайшли ще менші контрприклади.
It was disproven by W. T. Tutte(1946), who constructed a counterexample with 46 vertices; other researchers later found even smaller counterexamples.

Як контрприклад, подивимося на знакову функцію sgn ⁡( x){\displaystyle \operatorname{sgn}(x)}, яка визначена через.
As a counterexample look on the sign function sgn⁡( x){\displaystyle\operatorname{sgn}(x)} which is defined through.

Програмне забезпечення Copyleft є контрприкладом(де авторське право використовується, щоб гарантувати право на копіювання та доступ до джерел).
Copyleft software is a counterexample(where Copyright is used to guarantee the right to copy the object and access Sources).

Хоча істинність гіпотези Барнетта залишається невідомою, обчислювальні експерименти показали, що не існує контрприклад з менш ніж 86 вершин.
Although the truth of Barnette's conjecture remains unknown, computational experiments have shown that there is no counterexample with fewer than 86 vertices.

Враховуючи те, що вартість валюти і розміри її економіки почались з нуля 2009 року, Біткойн- це контрприклад для цієї теорії, що демонструє те, що вона може помилятись.
Because both the value of the currency and the size of its economy started at zero in 2009, Bitcoin is a counterexample to the theory showing that it must.

Суон знайшов контрприклад до задачі Нетер, у якому n= 47, а G- циклічна група порядку 47[101](хоча ця група може бути реалізована як група Галуа над полем раціональних чисел іншими способами).
Swan found a counter-example to Noether's problem, with n= 47 and G a cyclic group of order 47[106](although this group can be realized as a Galois group over the rationals in other ways).

Перший Ellingham-Horton граф був опублікований Ellingham в 1981 році і був близько 78. В той час це була найменша ноу контрприклад до гіпотези Татта.
The first Ellingham-Horton graph was published by Ellingham in 1981 and was of order 78.[6] At that time, it was the smallest know counterexample to the Tutte conjecture.

Він використав інструменти з комбінаторики для доведення деяких гіпотез Стефана Банаха про Банахів простір і побудував Банахів простір з майже відсутньою симетрією, яка виступає як контрприклад ряду інших гіпотез.
He used combinatorial tools in proving several of Stefan Banach's conjectures in the subject, in particular constructing a Banach space with almost no symmetry, serving as a counterexample to several other conjectures.

Існує два альтернативні способи довести неправильну гіпотезу про те, що щось неможливо: контрприклад(конструктивний доказ) і логічне протиріччя(неконструктивний доказ).
There are two alternative methods of proving wrong a conjecture that something is impossible: by counterexample(constructive proof) and by logical contradiction(non-constructive proof).

У математичної області теорії графів, граф Horton або Horton 96-граф являє собою 3-регулярний граф з 96 вершинами і 144 ребер, виявлених Joseph Horton. Опубліковано Бонді і Мурті в 1976 році, вона забезпечує контрприклад до гіпотези Татта, що кожен кубічний 3-зв'язний двочастковий граф гамільтонів.[2][3].
In the mathematical field of graph theory, the Horton graph or Horton 96-graph is a 3-regular graph with 96 vertices and 144 edges discovered by Joseph Horton.[1] Published by Bondy and Murty in 1976, it provides a counterexample to the Tutte conjecture that every cubic 3-connected bipartite graph is Hamiltonian.[2][3].

Враховуючи те, що вартість валюти і розміри її економіки почались з нуля 2009 року, Біткойн- це контрприклад для цієї теорії, що демонструє те, що вона може помилятись.
Because both the value of the currency and the size of its economy started at zero in 2009, Bitcoin has proven itself to be a counterexample to the theory and thus showing that it must sometimes be wrong.