| |||
derivation rule (A rule to determine a classifier for classifying the financial consequences of an accounting event) | |||
modus ponens (ssn) | |||
deduction rule; rule of derivation; rewrite rule (ssn); rules of inference | |||
production rule | |||
derivation rule; rule of inference (логического) | |||
inference rule; production | |||
| |||
inference rule | |||
Російський тезаурус | |||
| |||
правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний формул, называемым посылками, и одним определенным высказыванием формулой, называемым логическим следствием из этих посылок. Большой Энциклопедический словарь |
правило вывода: 22 фрази в 9 тематиках |
Автоматика | 1 |
Електроніка | 2 |
Інформаційні технології | 3 |
Комп'ютери | 1 |
Лінгвістика | 1 |
Майкрософт | 2 |
Макаров | 4 |
Програмування | 4 |
Штучний інтелект | 4 |