本文關(guān)鍵詞：關(guān)于廣義可數(shù)逼近偏序集的若干性質(zhì)，由筆耕文化傳播整理發(fā)布。

《江西師范大學(xué)》 2015年

可數(shù)逼近偏序集與可數(shù)Scott閉集格的若干性質(zhì)

胡珺珺  

【摘要】：Domain理論屬于理論計(jì)算機(jī)科學(xué)的重要內(nèi)容之一,其目的是為程序語言的語義學(xué)奠定數(shù)學(xué)基礎(chǔ),是計(jì)算機(jī)科學(xué)與數(shù)學(xué)研究工作者共同感興趣的一個(gè)活躍領(lǐng)域.從純數(shù)學(xué)的角度看來,Domain理論主要是以滿足一定條件的偏序集以及它們之間的映射為研究對(duì)象Domain理論研究的一個(gè)重要方面是盡可能地將連續(xù)格理論推廣到更為一般的格序結(jié)構(gòu)上去.可數(shù)逼近偏序集被證明是連續(xù)domain的一種成功的推廣.本文的主要工作之一是進(jìn)一步討論可數(shù)逼近偏序集的性質(zhì),主要討論了可數(shù)逼近偏序集的拓?fù)湫再|(zhì)以及與映射相關(guān)的性質(zhì),并給出了可數(shù)逼近偏序集的兩個(gè)刻畫；本文的另一個(gè)工作是討論了可數(shù)Scott閉集格性質(zhì),特別地引入了可數(shù)c-連續(xù)偏序集的概念并證明了對(duì)任意偏序集,其可數(shù)Scott閉集格是可數(shù)c-連續(xù)的.此外我們考慮了c-代數(shù)格的一些基本性質(zhì).

【關(guān)鍵詞】：
【學(xué)位授予單位】：江西師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：O153.1
【目錄】：

下載全文 更多同類文獻(xiàn)

CAJ全文下載

(如何獲取全文？ 歡迎：購買知網(wǎng)充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前10條

1 張昆龍,孫一康,蔣慎言;偏序集上的蘊(yùn)涵[J];內(nèi)蒙古大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期

2 徐飛;廣義Z-擬連續(xù)偏序集的若干性質(zhì)[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期

3 李伯權(quán);;廣義Z-連續(xù)偏序集的幾個(gè)拓?fù)渥⒂?英文)[J];安徽師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年04期

4 張春波;徐曉泉;;Z-半連續(xù)偏序集的性質(zhì)[J];江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年06期

5 張春波;徐曉泉;;Z-連續(xù)偏序集的映射性質(zhì)[J];江西科學(xué);2008年03期

6 龔雅玲;;試論幾類弱連續(xù)偏序集的關(guān)系[J];南昌教育學(xué)院學(xué)報(bào);2010年05期

7 龔雅玲;涂繼頔;;擬C-偏序集的若干性質(zhì)[J];南昌大學(xué)學(xué)報(bào)(理科版);2011年02期

8 李高林;徐羅山;楊凌云;;關(guān)于自然偏序集的自然連續(xù)性[J];模糊系統(tǒng)與數(shù)學(xué);2011年04期

9 阮小軍;廖川榮;;Z-連通連續(xù)偏序集的權(quán)的一些性質(zhì)[J];南昌大學(xué)學(xué)報(bào)(理科版);2011年04期

10 李高林;;偏序集中下收斂的一個(gè)刻畫[J];淮陰師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2012年01期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫 前6條

1 許格妮;;偏序集上關(guān)聯(lián)s代數(shù)的性質(zhì)[A];第九屆中國(guó)不確定系統(tǒng)年會(huì)、第五屆中國(guó)智能計(jì)算大會(huì)、第十三屆中國(guó)青年信息與管理學(xué)者大會(huì)論文集[C];2011年

2 樊磊;;連續(xù)偏序集的極小集式刻劃[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

3 李志偉;;偏序集上的關(guān)聯(lián)蘊(yùn)涵代數(shù)[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十一屆年會(huì)論文選集[C];2002年

4 徐羅山;;FS-偏序集和連續(xù)L-偏序集(英文)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

5 張冠軍;姜豪;;非負(fù)偏序BCH—代數(shù)的性質(zhì)[A];數(shù)學(xué)·物理·力學(xué)·高新技術(shù)研究進(jìn)展（一九九六·第六期）——中國(guó)數(shù)學(xué)力學(xué)物理學(xué)高新技術(shù)交叉研究會(huì)第6屆學(xué)術(shù)研討會(huì)論文集[C];1996年

6 米洪海;;Fuzzy偏序集[A];模糊集理論與應(yīng)用——98年中國(guó)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第九屆年會(huì)論文選集[C];1998年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 李玉雙;偏序集上的組合學(xué)中的幾個(gè)問題[D];大連理工大學(xué);2007年

2 李紀(jì)波;Z-連續(xù)偏序集理論中幾個(gè)問題的研究[D];湖南大學(xué);2010年

3 杜康;偏序集分拆函數(shù)的計(jì)算及其算術(shù)性質(zhì)[D];南開大學(xué);2013年

4 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

5 木仁;基于模糊集與偏序集理論的數(shù)椐包絡(luò)分析方法[D];內(nèi)蒙古大學(xué);2012年

6 周立君;偏序集上的極限理論和權(quán)度量空間[D];湖南大學(xué);2013年

7 張華軍;Sperner理論中的幾個(gè)問題[D];大連理工大學(xué);2006年

8 汪開云;模糊Domain與模糊Quantale中若干問題的研究[D];陜西師范大學(xué);2012年

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

10 孫華;具有對(duì)稱單峰系數(shù)的多項(xiàng)式的研究[D];大連理工大學(xué);2014年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 郭峰;偏序集的套鏈分解[D];大連理工大學(xué);2010年

2 陸樹章;關(guān)于連續(xù)偏序集上的測(cè)度[D];四川大學(xué);2004年

3 李伯權(quán);Z-連續(xù)偏序集[D];南京師范大學(xué);2004年

4 龔雅玲;擬C-偏序集與廣義完全分配偏序集的若干性質(zhì)[D];江西師范大學(xué);2010年

5 薛慧娟;基于有限辛空間的一致偏序集和勒納德對(duì)[D];河北師范大學(xué);2015年

6 折海芳;Exact Domain與FZC-連續(xù)偏序集[D];陜西師范大學(xué);2015年

7 田建雨;模糊偏序集上的連續(xù)性與交連續(xù)性[D];東華理工大學(xué);2015年

8 汪帥;關(guān)于廣義可數(shù)逼近偏序集的若干性質(zhì)[D];江西師范大學(xué);2015年

9 胡珺珺;可數(shù)逼近偏序集與可數(shù)Scott閉集格的若干性質(zhì)[D];江西師范大學(xué);2015年

10 俞挺;弱光滑偏序集和Z-弱連續(xù)偏序集[D];江西師范大學(xué);2008年

  本文關(guān)鍵詞：關(guān)于廣義可數(shù)逼近偏序集的若干性質(zhì)，由筆耕文化傳播整理發(fā)布。