序、拓扑及形式语义学的数学基础
批准号：
10331010
项目类别：
重点项目
资助金额：
95.0 万元
负责人：
罗懋康
依托单位：
学科分类：
一般拓扑学
结题年份：
2007
批准年份：
2003
项目状态：
已结题
项目参与者：
梁基华、王国俊、徐晓泉、贺伟
项目摘要
结项摘要
项目成果
罗懋康的其他基金
相似基金
相关文献
中文摘要
研究Locale、Fuzzy拓扑等序结构与拓扑结构的共同载体并从格上拓扑统一观点研讨其拓扑结构的深层次关系；研究具重要意义的连续型完备格关系表示问题，给出相关应用；代数化表示和处理拓扑学中若干重要性质；构造性建立经典拓扑学中选择公理等价定理的对应结果，在广义Grothendieck topos上重建连续函数环理论；在Locale上系统研究环、模结构，使交换代数理论通过Locale与直觉逻辑，拓扑学
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
计算机工程与应用， 2006，42（20）：147－149
影响因子：
--
作者：
[李立峰, 王国俊]
通讯作者：
王国俊
DOI：
--
发表时间：
--
期刊：
自然科学进展，2005，15（9），1123- - -1128
影响因子：
--
作者：
[周红军, 王国俊]
通讯作者：
王国俊
Priestley Spaces, Quasi-hypera
普里斯特利空间，准超超
普里斯特利空间，准超超
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Yang Jin-Bo, Luo Mao-Kang]
通讯作者：
Yang Jin-Bo, Luo Mao-Kang
DOI：
--
发表时间：
--
期刊：
四川大学学报，2006, 5:992-995.
影响因子：
--
作者：
[黄方平, 梁基华, 寇辉]
通讯作者：
寇辉
DOI：
--
发表时间：
--
期刊：
数学学报，48(2005), 2:221-234.
影响因子：
--
作者：
[徐晓泉, 罗懋康, 黄艳]
通讯作者：
黄艳
共 114 条
分数阶非线性动力系统的不确定性数学理论及应用研究
-
批准号：11171238
-
项目类别：面上项目
-
资助金额：46.0万元
-
批准年份：2011
-
负责人：罗懋康
-
依托单位：
不确定性处理的数学理论、方法及其应用
-
批准号：10731050
-
项目类别：重点项目
-
资助金额：125.0万元
-
批准年份：2007
-
负责人：罗懋康
-
依托单位：
国内基金
海外基金