理学 >>> 数学 >>> 代数学 >>> 线性代数 群论 域论 李群 李代数 Kac-Moody代数 环论 模论 格论 泛代数理论 范畴论 同调代数 代数K理论 微分代数 代数编码理论 代数学其他学科
搜索结果: 1-1 共查到代数学 5-HT相关记录1条 . 查询时间(0.046 秒)
在讨论Ht代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明。指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题。在多值逻辑系统Ht中,若令t=1,则得到多值逻辑系统W。所以多值逻辑系统Ht中的结论在t=1的情况下就是多值逻辑系统W中的结论。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...