英德
有道
百度
谷歌
图片
维基
百科
类逻辑 [lèi luó ji]
[数] logic of class
- 一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。
Both one-predicate logic and the class logic can not express all characteristics of traditional lexical item logic. - Tucker在著作《多类逻辑及其应用》中提出了论域分类的思想。
Tucher proposed the idea of domain classification in their works 'Many-sorted Logic and its Applications'. - 多类逻辑对于论域分类的思想使得同时讨论点、线、面（乃至体）成为可能。
And the idea of many-sorted makes the discussion of objects in different granularity possible, such as to represent points, lines, surface (even body) and time meanwhile.
 |
 |
 |
 |
 |
 |
 |
中国词汇量第二的英语词典
更多精彩，登录后发现......
