Domain理论与拓扑学研究
批准号：
60473009
项目类别：
面上项目
资助金额：
7.0 万元
负责人：
白世忠
依托单位：
学科分类：
计算机科学的基础理论
结题年份：
2005
批准年份：
2004
项目状态：
已结题
项目参与者：
王万良、樊磊、谭海鸥、何伟、高宏宾、邹祥福、姜付加、张永栋
项目摘要
结项摘要
白世忠的其他基金
相似基金
相关文献
中文摘要
Domain理论是计算机程序设计语言研究的数学基础,经典Domain理论以序概念表示计算信息,适用于顺序程序语言的指称建模。量化Domain理论引入新结构代替或增强原有序结构,可为并发系统或语言提供适当的指称语义模型。本项目将建立具有层次特色的量化Domain理论体系，发展与经典Domain理论相平行的数学基础，包括连续和代数Domain理论，解量化Domain方程的范畴论方法等；探讨L-拓扑学中
英文摘要
Fuzzy Domain 理论及其新拓扑工具研究
-
批准号：61070150
-
项目类别：面上项目
-
资助金额：12.0万元
-
批准年份：2010
-
负责人：白世忠
-
依托单位：
国内基金
海外基金