 |
| |||
| Inferenzregel f | |||
| Produktionsregel f (в экспертных системах) | |||
| Ableitungsvorschrift | |||
| Ableitungsregel f (ssn); Schlussregel f (ssn) | |||
| |||
| Ableitungsregel f; Schlussregel f | |||
| Inferenzregel f | |||
| Russian thesaurus | |||
| |||
| правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний формул, называемым посылками, и одним определенным высказыванием формулой, называемым логическим следствием из этих посылок. Большой Энциклопедический словарь | |||
| правило вывода: 8 phrases in 3 subjects |
| Geology | 2 |
| Microsoft | 2 |
| Programming | 4 |