Смотреть что такое "исходное правило" в других словарях:
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
независимость — (в логике и математике) невыводимость предложения некоторой теории из данного множества ее предложений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других… … Словарь терминов логики
Теория Демпстера — Шафера — Демпстера Шафера теория это математическая теория очевидностей (свидетельств) ([SH76]), основанная на функции доверия (belief functions) и функции правдоподобия (plausible reasoning), которые используются, чтобы скомбинировать отдельные части… … Википедия
Демпстера-Шафера теория очевидностей — Демпстера Шафера теория это математическая теория очевидностей (свидетельств) ([SH76]), основанная на функции доверия (belief functions) и функции правдоподобия (plausible reasoning), которые используются, чтобы скомбинировать отдельные части… … Википедия
Теория Демпстера — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Демпстера Ш … Википедия
Инфаркт миокарда — I Инфаркт миокарда Инфаркт миокарда острое заболевание, обусловленное развитием очага или очагов ишемического некроза в сердечной мышце, проявляющееся в большинстве случаев характерной болью, нарушением сократительной и других функций сердца,… … Медицинская энциклопедия
_Приложение II — Читатели, познакомившиеся с содержанием Приложения I, могут задуматься над таким вопросом: а существуют ли у слов русского языка какие либо приметы, по которым можно было бы определять их принадлежность к тому или иному типу ударения (акцентному… … Словарь ударений русского языка
МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… … Энциклопедия Кольера
ЗАРЯДКА — ЗАРЯДКА, утренняя гимнастика комплекс физических упражнений, проделываемых сразу же после сна. Цель утренней гимнастики «встряхнуть» организм, в меру возбудить его, т. е. дать работу мышцам, создать ощущение бодрости, ловкости, силы; повысить… … Краткая энциклопедия домашнего хозяйства
Алгоритм — алгорифм, одно из основных понятий (категорий) математики, не обладающих формальным определением в терминах более простых понятий, а абстрагируемых непосредственно из опыта. А. являются, например, известные из начальной школы правила… … Большая советская энциклопедия
Роды — I Роды Роды (partus) физиологический процесс изгнания из матки плода, околоплодных вод и последа (плаценты, плодных оболочек, пуповины) после достижения плодом жизнеспособности. Жизнеспособным Плод, как правило, становится по истечении 28 нед.… … Медицинская энциклопедия
