Перевод: с английского на все языки

формальное доказательство

См. также в других словарях:

  • Формальное доказательство — (англ formal evidence) доказательство, сила и значение которого определяются по внешним, формальным признакам, в соответствии с определенными условиями, установленными законодательством. Система Ф.д. (законных, легальных доказательств) была тесно …   Энциклопедия права

  • ФОРМАЛЬНОЕ ДОКАЗАТЕЛЬСТВО — – доказательство, сила и значение которого определяется по внешним, формальным признакам, в соответствии с определёнными условиями, установленными законом. Система Ф. д. (законных, легальных доказательств) была тесно связана с розыскным… …   Советский юридический словарь

  • Формальное доказательство — (англ formal evidence) доказательство, сила и значение которого определяются по внешним, формальным признакам, в соответствии с определенными условиями, установленными законодательством. Система Ф.д. (законных, легальных доказательств) была тесно …   Большой юридический словарь

  • Доказательство —         в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …   Большая советская энциклопедия

  • Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …   Википедия

  • Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

  • Опровержение логическое —         обоснование, или содержательное Доказательство, ложности суждения (предложения), умозаключения (рассуждения), совокупности гипотез (суждений) и умозаключений, составляющей научную теорию или отдельный её фрагмент. В применении к… …   Большая советская энциклопедия

  • ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — один из важнейших законов формальной логики, состоящий в том, что для всякого высказывания А истинно по крайней мере одно из двух: само А или его отрицание. Был известен уже Аристотелю. См. Принцип исключенного третьего. Философская Энциклопедия …   Философская энциклопедия

  • ЭЛИМИНАЦИОННАЯ ТЕОРЕМА —     ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом …   Философская энциклопедия

  • ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия

  • Искусственная нейронная сеть — У этого термина существуют и другие значения, см. Нейронная сеть (значения). Схема простой нейросети. Зелёным цветом обозначены входные нейроны, голубым скрытые нейроны, жёлтым  выходной нейрон …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»