久久久久亚洲AV成人无码电影,天天色综合网址,夜夜爽天天干,99九九久久精品视频

當(dāng)前位置: > 學(xué)術(shù)報(bào)告 > 理科 > 正文

理科

關(guān)于一類空間的簡單dcpo 模型

發(fā)布時(shí)間:2015-07-02 瀏覽:

講座題目:關(guān)于一類空間的簡單dcpo 模型

講座人:趙東升 教授

講座時(shí)間:16:00

講座日期:2015-6-30

地點(diǎn):長安校區(qū) 數(shù)學(xué)與信息科學(xué)學(xué)院學(xué)術(shù)報(bào)告廳

主辦單位:數(shù)學(xué)與信息科學(xué)學(xué)院

講座內(nèi)容:Domain理論是一門涉及拓?fù)鋵W(xué),序理論及格論,邏輯,計(jì)算機(jī)理論,范疇論,半群等諸多領(lǐng)域的交叉學(xué)科。經(jīng)過多年的深入研究,Domain理論已成為一門比較成熟的但依然十分活躍的數(shù)學(xué)領(lǐng)域。在Domain理論中,一個(gè)最核心的概念是Scott拓?fù)?。如果一個(gè)拓?fù)淇臻g同胚于一個(gè)半序集的全體極大點(diǎn)構(gòu)成的Scott空間的子空間,這個(gè)半序集稱作該拓?fù)淇臻g的一個(gè)模型?,F(xiàn)已證明,每個(gè)T1空間都有dcpo模型。半序集模型構(gòu)建了Domain理論與經(jīng)典拓?fù)涞囊粋€(gè)新的橋梁,也帶出了一些新的研究課題,本報(bào)告,將介紹這方面的背景及一些最新進(jìn)展。主要是有關(guān)一類Hausdorff空間,它們的某種子集構(gòu)成dcpo模型。

欧美新精品xxx| 七月丁香综合激情| 中文字幕 欧美 日韩| 亚洲无码二区| 国产男人资源| 懂色AV色吟AV夜夜嗨| 色图婷婷| 3A黄色视频| 男女xx视频在线观看| 无码精品人妻一区二区三区影院| 久久综合热17c| 日韩久久人人家| 60岁熟妇| 久久国产精品一国产精品金尊| 亚洲青青草| 欧美野外做受又粗又硬| 午夜人妻专区| Gv在线观看欧美| 亚洲无线码一区二区三区| 蜜桃AV乱伦| 人妻操逼网| 真实乱视频国产免费观看| 08sp.cn| 亚欧色图视频| 亲近相奷中文字幕| 国产91自看区| 99日韩中文字幕| 91精品夜夜夜一区二区| 婷婷国产成人| 乱伦加勒比一区| 黄色网站在线观看WWW| 7777色鬼XXXX欧美色妇| 密臀AV二区四区| 6080无码在线| 国产一级黄片边梅| 欧美日韩 人妻| 有码中文AV无码中文AV| 日本韩国一区二区三区| 精品无码一区二区人妻| 四虎影院无码在线观看| 天堂在线中文|