![]() |
исчисление предикатов | |
math. | predicate calculus; PC |
tech. | functional calculus; predicative calculus |
первого порядка | |
gen. | best cost |
math. | first-order; of the first order |
math.anal. | linear |
исчисление предикатов: 40 phrases in 6 subjects |
Automated equipment | 1 |
Computers | 3 |
Information technology | 3 |
Mathematics | 27 |
Mechanics | 1 |
Programming | 5 |