色综合天天综合网国产,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日


        分享至:
        主站蜘蛛池模板: 无码国产精品一区二区免费网曝| 亚洲精品无码久久千人斩探花| 国产精品无码久久久久久| 亚洲美女午夜福利视频导航| 国产亚洲欧美在线专区| 97人摸人人澡人人人超碰| 人人添人人妻人人爽夜欢视av| 麻豆精品一区二区三区蜜臀| 麻豆变态另类视频在线观看| 日韩av熟女人妻一区二| 视频二区精品中文字幕| 国产精品网址你懂的| 国产精品美女黄| 又黄又爽视频好爽视频| 亚洲人成网站在线观看播放不卡| 国产视频一区二区在线看| 热久久视久久精品2019| 亚洲欧美中文日韩V在线观看| 亚洲精品久久久无码av片软件| 亚洲一区二区三区香蕉| 四虎国产精品永久在线| 久久无码人妻国产一区二区| 亚洲国产精品久久久久秋霞小| 亚洲av无码专区在线厂| 亚洲乱码一区二区三区成人小说| 欧美xxxx新一区二区三区| 欧美日韩一区二区三区色综合| 国产乱人伦偷精品视频免| 一二三四在线观看免费视频| 久久久噜噜噜久久| 亚洲国产精品无码一区二区三区| 国产成人成网站在线播放青青| 亚洲日韩乱码中文字幕| 美女视频黄频又黄又爽又免费 | 久久午夜伦鲁片免费无码| 精品少妇一区二区三区免费观| 亚洲 欧洲 无码 在线观看| 国产不卡一区二区在线| av在线手机播放| 免费观看成人久久网免费观看| 蜜臀少妇人妻在线|