predicate calculus
| with
| generalization
| predicate calculus | |
| IT | исчисление предикатов : |
| with | |
| gen. | при; от; касательно; несмотря на; над; обо |
| Makarov. | при раздельной работе; при параллельной работе |
| generalization | |
| gen. | обобщение; общее правило; абстрагирование от частностей; обобщение; обобщающий вывод |
| adv. | общий вывод |
| automat. | концептуальное описание; общая характеристика |
| avia. | генерализация |
| biol. | генерализация |
| |||
| исчисление предикатов : | |||
| исчисление предикатов | |||
|
predicate calculus : 35 phrases in 7 subjects |
| Automated equipment | 1 |
| Computers | 1 |
| Logic | 2 |
| Mathematics | 23 |
| Mechanics | 1 |
| Programming | 5 |
| Technology | 2 |