1. А) Неоспоримый довод или факт, подтверждающий, доказывающий что -либо б) Кто -либо , что -либо , являющееся свидетельством, подтверждением чего -либо
2. Система умозаключений, служащая для выведения нового положения на основании данных, принимаемых за истинные.
1. Факт или довод, подтверждающий, доказывающий что кто-нибудь Вещественное д. (предмет, представляемый суду как свидетельство совершенного преступления). 2. Система умозаключении, путем к-рых выводится новое положение. Теорема имеет несколько доказательств.
1. Доказательства, средний род ( книжное ). 1. Довод или факт, являющийся основанием для утверждения чего кто-нибудь Этот поступок является лишним доказательством его упрямства. для доказательства приведу ряд документов. В доказательство чего кто-нибудь или чему кто-нибудь 2. Система умозаключений, служащая для установления нового положения на основании других, ранее известных ( научное ). Пифагорова теорема имеет несколько доказательств. Вещественное доказательство (право) - предмет, представленный на суд и являющийся свидетельством совершенного преступления.
-а, средний род
1.
Неопровержимый довод или факт, подтверждающий истинность чего -либо ; подтверждение чего -либо
Он был очень доволен и своим лицом, --- и широкими плечами, которые служили очевидным доказательством его хорошего здоровья. Чехов, Дуэль.
Среди бумаг капитана Татаринова обнаружены бесспорные, неопровержимые доказательства моей правоты. Каверин, Два капитана.
2. Лог.
Система умозаключений, служащая для установления нового положения на основании данных, принимаемых за истинные.
Теорема имеет несколько доказательств.
- вещественные доказательства
... Наше представление о доказательстве как особой интеллектуальной операции формируется в. процессе проведения конкретных доказательств Изучая разные области знания , мы усваиваем и относящиеся к ним . доказательства На ... ... только истину Если найдены верные аргументы и из них дедуктивно выведено доказываемое . положение , доказательство состоялось , и ничего более не требуется Доказательство в широком смысле Нередко в понятие ... (Логика)
... принцип .или его итоговую структуру Именно такая схема остается в памяти , когда забываются подробности доказательства . Доказательства делятся на прямые и косвенные Прямое доказательство С точки зрения общего движения ... ... , повышенная температура и т п Но ничего подобного нет Значит , нет и гриппа Это опять-таки косвенное доказательство Вместо прямого обоснования тезиса выдвигается антитезис , что у пациента , в. самом деле , грипп ... (Логика)
... затрачено определенное количество теплоты Ее Блэк и назвал скрытой Это - косвенное доказательство Следствие антитезиса , а значит , и он сам опровергаются ссылкой на. очевидное обстоятельство : в конце зимы ... ... : одна за другой исключаются все . возможности , кроме одной , которая и является доказываемым тезисом В разделительном доказательстве взаимная несовместимость возможностей и то, что ими . исчерпываются все мыслимые альтернативы , определяются не ... (Логика)
... , анализ систем и.протоколов безопасности , разработку формальных языков и др Однако , автоматическое доказательство теорем стало объектом активного исследования , и не . все математические теоремы могут ... ... , генерируемые автоматическими средствами доказательства теорем , обычно очень велики ., проблема сжатия доказательств имеет решающее значение , и были разработаны различные .методы , направленные на то, чтобы сделать вывод ... (Моделирование и Моделирование систем)
... философии Логика , в свою очередь , отвечала за правильность этого поиска , т. е за правильность научного доказательства Истинность или ложность предложений должна определить наука В этом смысле философия и логика , философия ... ... ., гештальты Обратим также внимание на специфические внутрисистемные помехи , создаваемые каналу передачи . доказательства потребителями этого доказательства Подобные помехи субстрагируются в виде априорных установок потребителя ... (Философия)
... или более ошибок , даже если требуется лишь свойство .нетривиальности Этот результат иногда называют доказательством невозможности FLP , названным в честь . авторов Майкла Дж Фишера [en ] , Нэнси ... ... (PoA ) (Доказательство активности ). Гибрид PoW и PoS низкая вероятностная Proof-of-Location (PoL ) (Доказательство расположения ). Используются маячки , чтобы заметить узел в синхронном состоянии , а затем . отметить ... (Высоконагруженные проекты.Паралельные вычисления. Суперкомпьютеры. Распределенные системы)
Комментарии
Оставить комментарий