Результаты поиска

...[[Доказательство от противного|доказательства от противного]], основанный на том, что множество [[Натуральное число|натуральных чисел]] [[Вполне упорядо ...сходные числа <math>p</math> и <math>q</math> можно одновременно разделить на 2 и получить другое представление <math>\sqrt{2}</math>. С полученными числ ...

...ией [[А. А. Ивин]]а. 2004.</ref>. Этот способ доказательства основывается на истинности [[закон двойного отрицания|закона двойного отрицания]] в [[исчис ...], значит, чётно и <math>m</math>; следовательно, <math>m^2</math> делится на 4, а значит, <math>n^2</math> и <math>n</math> тоже чётны. ...

Это приводит к ограничению на допустимые методы доказательства (в частности, [[Закон исключённого третьег Предположим, что M — самое большое простое число. Тогда M! + 1 не делится ни на одно из имеющихся простых чисел — а значит, новое простое число. ...

...Обобщение|обобщающий]] [[математическая индукция|математическую индукцию]] на случай [[Несчётное множество|несчётного]] числа значений параметра. Трансфинитная индукция основана на следующем утверждении: ...

[[Категория:Практики, основанные на доказательствах]] ...

...и <math>\overline{A} \vdash \overline{B}</math>, то есть прийти к абсурду. На основании этого делают логическое заключение, что утверждение <math>A</math Метод приведения к абсурду основан на тождественно истинном высказывании: <math>((\overline{A} \Rightarrow B) \la ...

=== Нижняя оценка на [[Теорема Рамсея|число Рамсея]] === и при этом [[Раскраска графов|хроматическое число]] G как минимум на <math>k</math>. ...

Многие такие доказательства основаны на разных формах и обобщениях принципа Дирихле. Сам по себе этот принцип ...кретных ящиков рассматривать отрезок <math>(0;1)</math> и значения функции на нём. Если <math>\int \limits_{0}^{1} \left({\sum \limits_{i=1}^{\infty} {f_ ...

...го до европейских математиков. Хотя его оригинальная работа была утрачена, на неё позднее ссылался [[аль-Самуал]] в своем трактате «''аль-Бахир фи'ль-джа ...Его доказательство, тем не менее, явно предназначалось для распространения на любое другое целое число. <...> Аргумент аль-Караджи по существу включает д ...

...ействующие модели, либо дают некорректное объяснение их работы, основанное на известных [[Законы физики|законах физики]], либо утверждают, что для создан ...одействий, настаивают на том, что эффекты таких взаимодействий должны быть на много порядков слабее, чем нужно для их обнаружения и использования в устро ...

...методов численного интегрирования состоит в замене подынтегральной функции на более простую, интеграл от которой легко вычисляется аналитически. При этом При замене подынтегральной функции на полином нулевой, первой и второй степени получаются соответственно методы [ ...

...самым начало развитию статистики как науки и учебной дисциплины. Несмотря на это, статистический учёт вёлся намного раньше: проводились [[Перепись|переп Начало статистической практики относится примерно ко времени возникновения государства. Первой опубликован ...

Средневековый способ для расчёта пасхалии. Слева: «рука дамаскинова», на ней 28 кругов Солнцу — красные славянские цифры<br> ...дого круга Солнцу — чёрные славянские цифры. Справа: «рука [[жид]]овская», на ней 19 кругов Луне — красные славянские цифры, под каждой из них пасхальная ...

...утверждений, записанная на [[формальный язык|формальном языке]]) или текст на [[естественный язык|естественном языке]], по которому при необходимости мож ...[соответствие Карри — Ховарда]]{{Переход|#Соответствие Карри — Ховарда}}), на основе которого созданы средства [[Автоматическое доказательство|автоматиче ...

...>, полагал, что стоимость товара зависит от того количества труда, которое на него затратили<ref>{{Cite web |url=http://www.m-economy.ru/art.php?nArtId=1 ...созданной стоимости за период. За неё принималась сумма зарплаты, прибыли на вложенный капитал и ренты (см. [[догма Смита]]). ...

...тролитические. На танталовых конденсаторах (слева) полоской обозначен «+», на алюминиевых (справа) маркируют «-».]] [[Файл:SMD capacitor.jpg|мини|[[Поверхностный монтаж|SMD]]-конденсатор на плате, макрофотография]] ...

...ункциональную группу, снижая [[полярность связи]] O—Н. Реакции, основанные на разрыве этой связи, протекают медленнее. Все химические реакции спиртов можно разделить на три условные группы, связанные с определёнными реакционными центрами и хими ...

...ремени служили [[сутки]], которые в Древнем Египте делили не на 24 часа, а на 12 дневных и 12 ночных, так что было два разных часа, и в разные сезоны про Несмотря на большое число дошедших до нас документов древнего Египта и Вавилона (III—I ...

На данной странице проводится дополнительный набор посредников в связи с расши Прошу всех участников обратить внимание на то, что среди кандидатов нет администраторов. В решении арбитражного комите ...