СловникиФорумКонтакти

   Російська
Google | Forvo | +
до фраз
правило выводанаголоси
комп., Майкр. 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