| |||
многосортная логика (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk) |
many-sorted logic: 3 Phrasen in 2 Thematiken |
Logik | 2 |
Programmierung | 1 |