可数逼近偏序集与可数Scott闭集格的若干性质

  本文关键词：关于广义可数逼近偏序集的若干性质，由笔耕文化传播整理发布。

《江西师范大学》 2015年

可数逼近偏序集与可数Scott闭集格的若干性质

胡珺珺  

【摘要】：Domain理论属于理论计算机科学的重要内容之一,其目的是为程序语言的语义学奠定数学基础,是计算机科学与数学研究工作者共同感兴趣的一个活跃领域.从纯数学的角度看来,Domain理论主要是以满足一定条件的偏序集以及它们之间的映射为研究对象Domain理论研究的一个重要方面是尽可能地将连续格理论推广到更为一般的格序结构上去.可数逼近偏序集被证明是连续domain的一种成功的推广.本文的主要工作之一是进一步讨论可数逼近偏序集的性质,主要讨论了可数逼近偏序集的拓扑性质以及与映射相关的性质,并给出了可数逼近偏序集的两个刻画；本文的另一个工作是讨论了可数Scott闭集格性质,特别地引入了可数c-连续偏序集的概念并证明了对任意偏序集,其可数Scott闭集格是可数c-连续的.此外我们考虑了c-代数格的一些基本性质.

【关键词】：
【学位授予单位】：江西师范大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：O153.1
【目录】：

下载全文 更多同类文献

CAJ全文下载

(如何获取全文？ 欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式

【相似文献】

中国期刊全文数据库 前10条

1 张昆龙,孙一康,蒋慎言;偏序集上的蕴涵[J];内蒙古大学学报(自然科学版);2004年04期

2 徐飞;广义Z-拟连续偏序集的若干性质[J];宝鸡文理学院学报(自然科学版);2005年04期

3 李伯权;;广义Z-连续偏序集的几个拓扑注记(英文)[J];安徽师范大学学报(自然科学版);2005年04期

4 张春波;徐晓泉;;Z-半连续偏序集的性质[J];江西师范大学学报(自然科学版);2008年06期

5 张春波;徐晓泉;;Z-连续偏序集的映射性质[J];江西科学;2008年03期

6 龚雅玲;;试论几类弱连续偏序集的关系[J];南昌教育学院学报;2010年05期

7 龚雅玲;涂继頔;;拟C-偏序集的若干性质[J];南昌大学学报(理科版);2011年02期

8 李高林;徐罗山;杨凌云;;关于自然偏序集的自然连续性[J];模糊系统与数学;2011年04期

9 阮小军;廖川荣;;Z-连通连续偏序集的权的一些性质[J];南昌大学学报(理科版);2011年04期

10 李高林;;偏序集中下收敛的一个刻画[J];淮阴师范学院学报(自然科学版);2012年01期

中国重要会议论文全文数据库 前6条

1 许格妮;;偏序集上关联s代数的性质[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年

2 樊磊;;连续偏序集的极小集式刻划[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

3 李志伟;;偏序集上的关联蕴涵代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

4 徐罗山;;FS-偏序集和连续L-偏序集(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

5 张冠军;姜豪;;非负偏序BCH—代数的性质[A];数学·物理·力学·高新技术研究进展（一九九六·第六期）——中国数学力学物理学高新技术交叉研究会第6届学术研讨会论文集[C];1996年

6 米洪海;;Fuzzy偏序集[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

中国博士学位论文全文数据库 前10条

1 李玉双;偏序集上的组合学中的几个问题[D];大连理工大学;2007年

2 李纪波;Z-连续偏序集理论中几个问题的研究[D];湖南大学;2010年

3 杜康;偏序集分拆函数的计算及其算术性质[D];南开大学;2013年

4 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

5 木仁;基于模糊集与偏序集理论的数椐包络分析方法[D];内蒙古大学;2012年

6 周立君;偏序集上的极限理论和权度量空间[D];湖南大学;2013年

7 张华军;Sperner理论中的几个问题[D];大连理工大学;2006年

8 汪开云;模糊Domain与模糊Quantale中若干问题的研究[D];陕西师范大学;2012年

9 郝景;偏序幺半群作用和模糊粗糙集研究[D];湖南大学;2012年

10 孙华;具有对称单峰系数的多项式的研究[D];大连理工大学;2014年

中国硕士学位论文全文数据库 前10条

1 郭峰;偏序集的套链分解[D];大连理工大学;2010年

2 陆树章;关于连续偏序集上的测度[D];四川大学;2004年

3 李伯权;Z-连续偏序集[D];南京师范大学;2004年

4 龚雅玲;拟C-偏序集与广义完全分配偏序集的若干性质[D];江西师范大学;2010年

5 薛慧娟;基于有限辛空间的一致偏序集和勒纳德对[D];河北师范大学;2015年

6 折海芳;Exact Domain与FZC-连续偏序集[D];陕西师范大学;2015年

7 田建雨;模糊偏序集上的连续性与交连续性[D];东华理工大学;2015年

8 汪帅;关于广义可数逼近偏序集的若干性质[D];江西师范大学;2015年

9 胡珺珺;可数逼近偏序集与可数Scott闭集格的若干性质[D];江西师范大学;2015年

10 俞挺;弱光滑偏序集和Z-弱连续偏序集[D];江西师范大学;2008年

  本文关键词：关于广义可数逼近偏序集的若干性质，由笔耕文化传播整理发布。