報(bào)告1：如何寫(xiě)好項(xiàng)目申報(bào)書(shū)
時(shí)間：2023年10月23日（星期一）15：00--16：30
地點(diǎn)：北主樓1204
摘要：主要介紹科研項(xiàng)目書(shū)每一個(gè)部分正確的書(shū)寫(xiě)格式和相互之間的邏輯關(guān)系，以及怎樣銜接以便評(píng)委更好地理解申報(bào)人的學(xué)術(shù)思想和研究方法，并舉例加以說(shuō)明。
報(bào)告2：序結(jié)構(gòu)與拓?fù)浣Y(jié)構(gòu)融合
時(shí)間：2023年10月23日（星期一）17：00--18：30
地點(diǎn)：北主樓1204
摘要：在當(dāng)今科技發(fā)展和人類(lèi)生活中，計(jì)算機(jī)已成為不可或缺的工具。程序語(yǔ)言作為人類(lèi)和計(jì)算機(jī)交互的媒介，將人類(lèi)從眾多繁重的工作中解放出來(lái)。為了更好地設(shè)計(jì)和使用程序語(yǔ)言，需要建立程序語(yǔ)言的數(shù)學(xué)模型，利用數(shù)學(xué)理論與方法幫助設(shè)計(jì)人員建立更高效、應(yīng)用范圍更廣的程序語(yǔ)言。因此，上世紀(jì)70 年代初，圖靈獎(jiǎng)得主Dana Scott 利用偏序結(jié)構(gòu)和拓?fù)浣Y(jié)構(gòu)提出連續(xù)的定向完備偏序集作為程序語(yǔ)言的數(shù)學(xué)模型，因而定向完備偏序集上的序性質(zhì)和拓?fù)湫再|(zhì)研究就吸引了很多數(shù)學(xué)學(xué)者的關(guān)注，近年來(lái)我國(guó)也有很多學(xué)者在這個(gè)領(lǐng)域作出了重要的貢獻(xiàn)。
法國(guó)的布爾巴基學(xué)派將數(shù)學(xué)結(jié)構(gòu)分為三大類(lèi)：代數(shù)結(jié)構(gòu)、序結(jié)構(gòu)、拓?fù)浣Y(jié)構(gòu)。一個(gè)T0的拓?fù)淇臻g可以給出一個(gè)序結(jié)構(gòu)，反之一個(gè)偏序集上的序結(jié)構(gòu)能生成幾個(gè)著名的蘊(yùn)含拓?fù)?，序結(jié)構(gòu)與拓?fù)浣Y(jié)構(gòu)的相互融合成為研究定向完備偏序集的主要特色，也構(gòu)成了非Hausdorff理論的主要研究?jī)?nèi)容。本報(bào)告將圍繞定向完備偏序集上的一個(gè)蘊(yùn)含拓?fù)?/span>--Scott拓?fù)湔归_(kāi)，討論它的一些拓?fù)湫再|(zhì)，將聚焦它的一個(gè)分離性質(zhì)—Sober性，給出關(guān)于Sober性的一些基本結(jié)果和涉及其的一些公開(kāi)問(wèn)題和研究進(jìn)展。
報(bào)告人簡(jiǎn)介：李慶國(guó)，博士，湖南大學(xué)數(shù)學(xué)學(xué)院二級(jí)教授，博士生導(dǎo)師，校學(xué)術(shù)委員會(huì)委員。1999年7月至2000年6月及2008年11月至2009年11月分別在美國(guó)科羅拉多大學(xué)數(shù)學(xué)系和康涅底克大學(xué)數(shù)學(xué)系作訪(fǎng)問(wèn)教授。2000年12月起擔(dān)任湖南大學(xué)應(yīng)用數(shù)學(xué)專(zhuān)業(yè)博士生導(dǎo)師?，F(xiàn)為中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)副理事長(zhǎng)，湖南省數(shù)學(xué)學(xué)會(huì)副理事長(zhǎng)。入選湖南省121人才第一層次，國(guó)務(wù)院政府特殊津貼獲得者，湖南大學(xué)岳麓學(xué)者。曾獲2013年湖南省自然科學(xué)一等獎(jiǎng)，排名第一。已完成國(guó)家自然科學(xué)基金面上項(xiàng)目五項(xiàng)?，F(xiàn)正承擔(dān)國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目一項(xiàng)。目前主要研究領(lǐng)域?yàn)橛?jì)算機(jī)程序語(yǔ)言的指稱(chēng)語(yǔ)義--Domain理論，非Hausdorff拓?fù)?。至今為止，已在?/span>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 》《Algebra Universalis》《Fuzzy Sets and System》等國(guó)際期刊上發(fā)表論文100 余篇。
五邑大學(xué)學(xué)科與科技（社科）發(fā)展中心
五邑大學(xué)數(shù)學(xué)與計(jì)算科學(xué)學(xué)院
2023年10月18日
