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