Значение слова «контрпример»
-
Контрпример — пример, опровергающий верность некоторого утверждения.
Построение контрпримера — обычный способ опровержения гипотез. Если имеется утверждение типа «Для любого X из множества M выполняется свойство A», то контрпримером для этого утверждения будет: «Существует объект X0 из множества M, для которого свойство A не выполняется».
Часто найти контрпример вручную очень сложно. В таких случаях можно воспользоваться компьютером. Программа для нахождения контрпримера может просто перебирать элементы множества M и проверять выполнения свойства A. Более сложный, но и более эффективный, подход заключается в построении контрпримера «по частям». При этом при выборе очередной «части» сразу отбрасываются варианты, которые заведомо не ведут к опровержению рассматриваемого утверждения. Это позволяет значительно ускорить работу, зачастую на порядки.
Необходимо помнить, что отсутствие контрпримера не служит доказательством гипотезы. Доказательство такого рода можно строить, только если рассматриваемое множество конечно. В этом случае, достаточно перебрать все его элементы, и, если контрпримера среди них нет, то утверждение будет доказано.
Источник: Википедия
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: кордоба — это что-то нейтральное, положительное или отрицательное?
Синонимы к слову «контрпример»
Предложения со словом «контрпример»
- Наиболее надёжны теории тогда, когда следует привести контрпримеры, опровергающие какие-либо излишне самонадеянные утверждения.
- Я решил, что оно, возможно, неверно, поскольку строится на определённых свойствах функций полезности и прочего, и поэтому решил придумать контрпример.
- Завершающим элементом в этом наборе терминов служит контрпример – техника, основанная на анализе ситуации, когда предпосылки, приводимые в аргументе, ведут к ложному выводу.
- (все предложения)
Понятия, связанные со словом «контрпример»
-
Теорема де Брёйна — Эрдёша — классическая теорема теории графов доказанная Палом Эрдёшем и Николаасом де Брёйном.
-
Теорема о четырёх красках — теорема, которая утверждает, что всякую расположенную на сфере карту можно раскрасить не более чем четырьмя разными цветами (красками) так, чтобы любые две области с общим участком границы были раскрашены в разные цвета. При этом области могут быть как односвязными, так и многосвязными (в них могут присутствовать «дырки»), а под общим участком границы понимается часть линии, то есть стыки нескольких областей в одной точке не считаются общей границей для них. Задача раскраски...
-
Вероятностный метод — неконструктивный метод доказательства существования математического объекта с заданными свойствами. В основном используется в комбинаторике, но также и в теории чисел, линейной алгебре и математическом анализе, а также в информатике (например, метод вероятностного округления) и теории информации.
-
Теория Рамсея — раздел математики, изучающий условия, при которых в произвольно формируемых математических объектах обязан появиться некоторый порядок. Названа в честь Фрэнка Рамсея.
-
Хроматический многочлен — многочлен, изучаемый в алгебраической теории графов. Многочлен считает число раскрасок графа как функции от числа цветов. Многочлен первоначально определил Джордж Дейвид Биркгоф в попытке атаки на проблему четырёх красок. Многочлен обобщили Х. Уитни и У. Т. Тат до многочлена Тата, связав его с моделью Поттса статистической физики.
- (все понятия)
Отправить комментарий
Предложения со словом «контрпример»
Наиболее надёжны теории тогда, когда следует привести контрпримеры, опровергающие какие-либо излишне самонадеянные утверждения.
Я решил, что оно, возможно, неверно, поскольку строится на определённых свойствах функций полезности и прочего, и поэтому решил придумать контрпример.
Завершающим элементом в этом наборе терминов служит контрпример – техника, основанная на анализе ситуации, когда предпосылки, приводимые в аргументе, ведут к ложному выводу.
- (все предложения)