predicate calculus
| and
| proving theorems
| predicate calculus | |
| IT | исчисление предикатов : |
| and | |
| gen. | и; а |
| prove theorems | |
| gen. | доказывать теоремы |
| |||
| исчисление предикатов : | |||
| исчисление предикатов | |||
|
predicate calculus : 30 phrases in 5 subjects |
| Automated equipment | 1 |
| Computers | 1 |
| Mathematics | 22 |
| Mechanics | 1 |
| Programming | 5 |