числення

Числення, Дедуктивна система — система, яка задає множину, зазначаючи первісні елементи й правила виведення. Правила виведення застосовуються до скінченного числа елементів, які називають засновками (ними можуть бути як первісні елементи, так і утворені попередніми застосуваннями правил), і утворюють елемент який називають висновком.

Правила виведення також називають породжувальними правилами.

Енциклопедія кібернетики : у 2 т. / за ред. В. М. Глушкова. — Київ : Гол. ред. Української радянської енциклопедії, ...

Детальніше читайте у Вікіпедії

Пошукові відносини

Виберіть тип сортування

Приєднуйтесь до нашої
сторінки у Facebook

Herbal & Natural Medicine

Найповніша база даних про лікарські трави, підкріплена наукою

Працює 55 мовами
Лікування травами за підтримки науки
Розпізнавання трав за зображенням
Інтерактивна GPS-карта - позначайте трави на місці (скоро)
Читайте наукові публікації, пов’язані з вашим пошуком
Шукайте лікарські трави за їх впливом
Організуйте свої інтереси та будьте в курсі новинних досліджень, клінічних випробувань та патентів

Введіть симптом або хворобу та прочитайте про трави, які можуть допомогти, наберіть траву та ознайомтесь із захворюваннями та симптомами, проти яких вона застосовується.
* Вся інформація базується на опублікованих наукових дослідженнях