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