2024年11月8日14：40-16：40，湖南大學(xué)博士生導(dǎo)師李慶國(guó)教授蒞臨學(xué)校在思學(xué)樓A110展開(kāi)了關(guān)于《Domain理論簡(jiǎn)介》的學(xué)術(shù)講座，理學(xué)院院長(zhǎng)宋國(guó)杰教授主持了會(huì)議，相關(guān)方向的教師及研究生們參加了此次學(xué)術(shù)交流活動(dòng)。

李慶國(guó)教授通過(guò)實(shí)例深入淺出地介紹程序語(yǔ)言、程序語(yǔ)言的指稱(chēng)語(yǔ)義及其重要意義，對(duì)Domain理論產(chǎn)生的背景、基本構(gòu)造做了詳細(xì)闡述，接著列舉了大量典型實(shí)例幫助大家深刻認(rèn)識(shí)Domain。進(jìn)一步地，他對(duì)Domain理論的序結(jié)構(gòu)研究、Domain上的蘊(yùn)含生成拓?fù)?、范疇研究、冪?gòu)造和概率冪構(gòu)造等研究現(xiàn)狀及其已有研究結(jié)果進(jìn)行重點(diǎn)講解及展示。

與會(huì)師生全神貫注地聆聽(tīng)，積極交流討論，針對(duì)Scott連續(xù)函數(shù)的保定向并在乘積結(jié)構(gòu)中的表示、代數(shù)Domain、Domain上的蘊(yùn)含生成拓?fù)浼笆諗坷碚摰葐?wèn)題向李教授提問(wèn)請(qǐng)教，李慶國(guó)教授都詳細(xì)地作了解答?，F(xiàn)場(chǎng)氣氛活躍，與會(huì)師生表示收獲頗豐，不僅對(duì)Domain理論有了更深層次的認(rèn)識(shí)，而且開(kāi)闊了科學(xué)研究思路。

此次活動(dòng)為我校青年教師搭建了學(xué)習(xí)與交流的平臺(tái)，助力我校教師在科學(xué)研究道路上不斷成長(zhǎng)與進(jìn)步，為培養(yǎng)更多優(yōu)秀教師奠定堅(jiān)實(shí)的基礎(chǔ)。