многосортная логика | |
logic | many-sorted logic |
первого порядка | |
gen. | best cost |
math. | first-order; of the first order |
math.anal. | linear |
| |||
many-sorted logic (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk) |
многосортная логика: 3 phrases in 2 subjects |
Logic | 2 |
Programming | 1 |