исходное правило

мат. primitive rule

Большой англо-русский и русско-английский словарь. 2001.

Смотреть что такое "исходное правило" в других словарях:

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

  • независимость — (в логике и математике) невыводимость предложения некоторой теории из данного множества ее предложений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других… …   Словарь терминов логики

  • Теория Демпстера — Шафера — Демпстера Шафера теория это математическая теория очевидностей (свидетельств) ([SH76]), основанная на функции доверия (belief functions) и функции правдоподобия (plausible reasoning), которые используются, чтобы скомбинировать отдельные части… …   Википедия

  • Демпстера-Шафера теория очевидностей — Демпстера Шафера теория это математическая теория очевидностей (свидетельств) ([SH76]), основанная на функции доверия (belief functions) и функции правдоподобия (plausible reasoning), которые используются, чтобы скомбинировать отдельные части… …   Википедия

  • Теория Демпстера — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Демпстера Ш …   Википедия

  • Инфаркт миокарда — I Инфаркт миокарда Инфаркт миокарда острое заболевание, обусловленное развитием очага или очагов ишемического некроза в сердечной мышце, проявляющееся в большинстве случаев характерной болью, нарушением сократительной и других функций сердца,… …   Медицинская энциклопедия

  • _Приложение II — Читатели, познакомившиеся с содержанием Приложения I, могут задуматься над таким вопросом: а существуют ли у слов русского языка какие либо приметы, по которым можно было бы определять их принадлежность к тому или иному типу ударения (акцентному… …   Словарь ударений русского языка

  • МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… …   Энциклопедия Кольера

  • ЗАРЯДКА — ЗАРЯДКА, утренняя гимнастика комплекс физических упражнений, проделываемых сразу же после сна. Цель утренней гимнастики «встряхнуть» организм, в меру возбудить его, т. е. дать работу мышцам, создать ощущение бодрости, ловкости, силы; повысить… …   Краткая энциклопедия домашнего хозяйства

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

  • Роды — I Роды Роды (partus) физиологический процесс изгнания из матки плода, околоплодных вод и последа (плаценты, плодных оболочек, пуповины) после достижения плодом жизнеспособности. Жизнеспособным Плод, как правило, становится по истечении 28 нед.… …   Медицинская энциклопедия

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

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.