Результати пошуку

...ше, [[Правило висновування|правил висновування]]), що використовуються для висновування всіх [[Функціональна залежність|функціональних залежностей]] у [[Реляційна ...ункціональних залежностей, які є похідними від <math>F</math> за правилами висновування в <math>A</math>. ...

{{Правила перетворення}} [[Категорія:Правила висновування]] ...

{{Правила перетворення}} * [[Правило висновування]] ...

{{Правила перетворення}} ...сновкова логіка|висновки||Multiple-conclusion logic}}). Наприклад, правило висновування, що називається ''[[modus ponens]]'', отримує дві передумови, одну у формі ...

'''Правила де Моргана'''&nbsp;— властивість [[Булева алгебра (структура)|булевих алгеб Мають місце також '''узагальнені правила де Моргана''': ...

{{Правила перетворення}} ...ічних виразах при [[формальне доведення|логічному виведенні]]. Це наступні правила (у нотації із [[Логічний сполучник|логічними сполучниками]]): ...

...ення]] <math>~p</math> в залежності від [[Повна теорія|повноти]] алгоритму висновування, і, таким чином, також і від системи формальної логіки. Правило висновування заперечення як відмови імітує міркування із явним застосуванням повноти, ко ...

{{Правила перетворення}} ...яють поширювати певні логічні зв'язки в логічні вирази в логічних доказах. Правила такі: ...

...h>S</math>, або виводиться з попередніх формул послідовності через правило висновування <math>S</math>. Якщо <math><\gamma, \phi></math> правильне в <math>S</math> * Крок <math>S_{2n+1}</math>. Застосовуємо правила розширення до семантичної таблиці попереднього кроку <math>T_{2n}</math>. ...

[[Файл:Rule_of_three.svg|міні|300x300пкс|Порівняння правила трійки із точним біноміальним одностороннім довірчим інтервалом без позитив ...ття болю тестували на 1500 людях, і жодних побічних явищ не реєстрували. З правила трійки можна з 95 % впевненістю зробити висновок, що менше 1 людини з 500 ( ...

{{Правила перетворення}} ...ення [[Теорема|теорем]] з [[Аксіома|аксіом]] за допомогою набору [[Правило висновування|правил виведення]].{{sfn|Клини|1957|c=59-60}} ...

...ctive Linear Definite clause resolution}})&nbsp;— це елементарне [[правило висновування]], що застосовується в [[Логічне програмування|логічному програмуванні]]. В == Правило висновування ВЛВ == ...

...про те, що кістки кидали багато разів раніше. Ми бачимо це з байєсівського правила оновлення: якщо позначати «U» малоймовірний результат випадкового процесу, ...

'''Правило резолюцій'''&nbsp;— це [[правило висновування]], що сходить до методу доказу теорем через пошук протиріч; використовуєтьс Для можливості використання цього правила необхідно записати формулу у [[Кон'юнктивна нормальна форма|кон'юнктивній н ...

..., що при якомусь наборі [[аксіома|аксіом]] і [[правила висновування|правил висновування]] є правильним деяке твердження. Залежно від контексту, може матися на уваз ...омогою [[формальна мова|формальної мови]], і [[Правила висновування|правил висновування]]. Формальним виводом називається скінчена впорядкована множина рядків, нап ...

Внесок відіграє важливу роль у деяких аспектах [[Статистичне висновування|висновування]]. Наприклад: ...h>V</math> може бути знайдено за допомогою [[Ланцюгове правило|ланцюгового правила]]: ...

...втрат набуватиме форми {{Не перекладено|Оцінювальне правило|оцінювального правила||Scoring rule}}. Наприклад, використання {{Не перекладено|Оцінювальне прави [[Частотне висновування|Частотна]] [[Перевірка статистичних гіпотез|перевірка гіпотези]] ''M''<sub> ...

...оскільки воно залежить від виходу випадкової величини ''X''. Як [[Частотне висновування|частотна]], так і [[Баєсова ймовірність|баєсова]] статистичні теорії включа }} {{ref-en}}</ref> правила вирішування ''δ'' та параметру ''θ''. Тут правило вирішування залежить від ...

{{Правила перетворення}} [[Категорія:Правила висновування]] ...

У [[Баєсове висновування|баєсовому]] [[Статистичне висновування|статистичному висновуванні]] '''апріо́рний розпо́діл ймові́рності''' ({{lan ...то обирають як об'єктивні апріорні у багатовимірних задачах, оскільки інші правила (наприклад, {{Не перекладено|Апріорний розподіл Джеффріса|правило Джеффріса ...