 |
| |||
| многосортная логика (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk) | |||
|
many-sorted logic : 3 a las frases, 2 temas |
| Lógica | 2 |
| Programación | 1 |