-
1 formaler Beweis
формальное доказательство
См. также в других словарях:
Формальное доказательство — (англ formal evidence) доказательство, сила и значение которого определяются по внешним, формальным признакам, в соответствии с определенными условиями, установленными законодательством. Система Ф.д. (законных, легальных доказательств) была тесно … Энциклопедия права
ФОРМАЛЬНОЕ ДОКАЗАТЕЛЬСТВО — – доказательство, сила и значение которого определяется по внешним, формальным признакам, в соответствии с определёнными условиями, установленными законом. Система Ф. д. (законных, легальных доказательств) была тесно связана с розыскным… … Советский юридический словарь
Формальное доказательство — (англ formal evidence) доказательство, сила и значение которого определяются по внешним, формальным признакам, в соответствии с определенными условиями, установленными законодательством. Система Ф.д. (законных, легальных доказательств) была тесно … Большой юридический словарь
Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… … Большая советская энциклопедия
Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Опровержение логическое — обоснование, или содержательное Доказательство, ложности суждения (предложения), умозаключения (рассуждения), совокупности гипотез (суждений) и умозаключений, составляющей научную теорию или отдельный её фрагмент. В применении к… … Большая советская энциклопедия
ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — один из важнейших законов формальной логики, состоящий в том, что для всякого высказывания А истинно по крайней мере одно из двух: само А или его отрицание. Был известен уже Аристотелю. См. Принцип исключенного третьего. Философская Энциклопедия … Философская энциклопедия
ЭЛИМИНАЦИОННАЯ ТЕОРЕМА — ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом … Философская энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
Искусственная нейронная сеть — У этого термина существуют и другие значения, см. Нейронная сеть (значения). Схема простой нейросети. Зелёным цветом обозначены входные нейроны, голубым скрытые нейроны, жёлтым выходной нейрон … Википедия