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