formal system
| of
| axioms
| and
| inference rules
| Formal System | |
| pharma. | документированная система контроля |
| of | |
| gen. | относительно; от; обо; изо; служебное слово, указывает на вкус или запах; служебное слово, выражает свойство или возраст |
| axiom | |
| gen. | аксиома |
| el. | исходное положение теории; не требующее доказательства утверждение; объект в объектно-ориентированном программировании |
| immunol. | принцип |
| math. | постулат |
| and | |
| gen. | и; а |
| inference rule | |
| AI. | импликация; продукционное правило; правило вывода |
| automat. | правило умозаключений |
| microel. | дедуктивное правило |
| philos. | правило умозаключения |
| progr. | правило логического вывода |
| robot. | правило вывода |
| inference rules | |
| IT | правила вывода |
| |||
| формальная система | |||
| |||
| документированная система контроля (комплекс мер по контролю биозагрязнений, включающий в себя методики, оформленные документально Игорь_2006) | |||
|
formal system : 22 phrases in 9 subjects |
| Economics | 1 |
| Information technology | 2 |
| Linguistics | 1 |
| Mass media | 1 |
| Mathematics | 3 |
| Military | 1 |
| Politics | 2 |
| Programming | 10 |
| Sociology | 1 |