DOMAIN理论

作品数：21被引量：42H指数：4
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：陈仪香樊磊张奇业郑崇友梁基华更多>>
相关机构：四川大学湖南大学首都师范大学上海师范大学更多>>
相关期刊：《中国建材科技》《液晶与显示》《模糊系统与数学》《学会》更多>>
相关基金：国家自然科学基金上海市教育委员会重点学科基金上海市教育发展基金教育部高等学校骨干教师资助计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=数学进展x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于紧连续L-domain的一个刻画定理被引量：6
《数学进展》2003年第6期683-688,共6页寇辉 
国家自然科学基金(No.10201023);数学天元基金(No.TY10126022);973计划(No.2002cb312200)资助
本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理。其主要结果是:连续L-domain是Lawson紧的当且仅当函数空间[L→L]的Scott拓扑与Isbell拓扑一致。
关键词：ω-连续性 函数空间 SCOTT拓扑 Isbell拓扑 DOMAIN理论 偏序集 
Domain理论与拓扑被引量：13
《数学进展》1999年第2期97-104,共8页梁基华 刘应明 
国家自然科学基金;国家教委博士点基金;国家教委高等院校数学研究中心资助项目
Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础，序和拓扑的相互结合在这一领域中起着基本而重要的作用。本文力图从Ｄｏｍａｉｎ理论产生的背景，它在几个方面的发展，反映Ｄｏｍａｉｎ理论与拓扑的紧密联系，使我们看到序和...
关键词：DOMAIN理论 SCOTT拓扑 拓扑 程序设计语言 序 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部