色综合天天综合网国产,97夜夜澡人人双人人人喊,老司机午夜精品视频无码,99re热这里只有精品最新,日韩成人无码中文字幕,久久久久人妻精品一区二区三区 ,久久偷看各类wc女厕嘘嘘偷窃,巨乳人妻久久+av中文字幕

        《Domain 理論中的幾個公開問題》

        添加日期:2022-11-21 13:46:16 閱讀次數:

        講座時間:2022-11-23 15:30

        講座地點:格致中樓500會議室

        主講人:李慶國

        主講人簡介:李慶國:男,漢族。生于1963年6月。博士,湖南大學數學學院二級教授,博士生導師,校學術委員會委員。1999年7月至2000年6月及2008年11月至2009年11月分別在美國科羅拉多大學數學系和康涅底克大學數學系作訪問教授。2000年12月起擔任湖南大學應用數學專業博士生導師。現為中國系統工程學會模糊數學與模糊系統委員會副理事長,湖南省數學學會副理事長。入選湖南省121人才第一層次,國務院政府特殊津貼獲得者,湖南大學岳麓學者。曾獲2013年湖南省自然科學一等獎,排名第一。已完成國家自然科學基金面上項目五項。現正承擔國家自然科學基金重點項目一項。目前主要研究領域為Domain理論,非Hausdorff拓撲。至今為止,已在《Applied Categorical Structures》,《Information and Computation》,《Annals of Pure and Applied Logic》,《Information Sciences》,《Theoretical Computer Science》,《Topology and its Applications》,《Journal of Pure and Applied Algebra 》等國際期刊上發表論文100 余篇。

        報告內容概要:在當今科技發展和人類生活中,計算機已成為不可或缺的工具。程序語言作為人類和計算機交互的媒介,將人類從眾多繁重的工作中解放出來。為了更好地設計和使用程序語言,需要建立程序語言的數學模型,利用數學理論與方法幫助設計人員建立更高效、應用范圍更廣的程序語言。因此,上世紀70 年代初,圖靈獎得主Dana Scott 利用偏序結構和拓撲結構建立了Domain 理論作為程序語言的數學模型。除了為程序語言提供數學模型外,Domain 理論也應用于計算理論,同時與分析學、代數學、范疇論和邏輯理論等交叉融合,相互促進。 近年來,Domain理論日趨完善,2003年專著《Continuous Lattices and Domains》將上世紀關于Domain的研究成果做了一個總結。2013年《Non-Hausdorff Topology and Domain Theory》將T0-空間與Domain之間的關聯做了一個系統的總結。我國學者在這一領域也貢獻了許多非常有創新的成果。但Domain理論中仍有一些公開問題沒有得到解決,特別是有的問題長達四十年。本報告會對這些有代表性的問題做個詳細的介紹,從問題的背景,研究的現狀,相關問題的研究結果等給與展示,希望能夠吸引有志的青年學者投入到這些問題的研究中。

        理學院

        2022年11月21日


        分享至:
        主站蜘蛛池模板: 欧美亚洲国产日韩一区二区三区| 人妻熟女一区二区aⅴ水野朝阳| 在线视频 亚洲精品| 国产精品福利自产拍久久| 91最新免费观看在线| 国产老妇伦国产熟女老妇高清| 99精品成人片免费毛片无码| 无码激情亚洲一区| 国产精品毛片一区| 精品欧美日韩国产日漫一区不卡| 亚洲国产三级在线观看| 亚洲综合色一区二区三区| 九九久久精品免费观看| 亚洲美女又黄又爽在线观看| 伦理片免费完整片在线观看| 成人无码免费视频在线播| 日韩精品毛片| 亚洲成a人v影院色老汉影院| www国产精品| 超级大爆乳奶牛被调教出奶水 | JIZZJIZZ国产| 亚洲国产精品一区二区成人片| 日本边添边摸边做边爱喷水| 精品亚洲国产成人av在线小说 | .一区二区三区在线 | 欧洲| 成人va亚洲va欧美天堂| 国产精品18久久久久久不卡中国 | 午夜AAAAA级岛国福利在线 | 国产精品看高国产精品不卡| 国产成人无码18禁午夜福利p| 久久精品私人影院免费看| 欧洲中文字幕一区二区| 欧美伊人亚洲伊人色综| 亚洲 欧美 激情 小说 另类| 亚洲色偷拍一区二区三区| 亚洲AV无码不卡私人影院| 欧美日韩在线视频| 一本色道av久久精品+| 国产精品88久久久久久妇女| 人妻精品丝袜一区二区无码av| 久久成人亚洲香蕉草草|