2024年11月8日14:40-16:40,湖南大學博士生導師李慶國教授蒞臨學校在思學樓A110展開了關于《Domain理論簡介》的學術講座,理學院院長宋國杰教授主持了會議,相關方向的教師及研究生們參加了此次學術交流活動。
李慶國教授通過實例深入淺出地介紹程序語言、程序語言的指稱語義及其重要意義,對Domain理論產生的背景、基本構造做了詳細闡述,接著列舉了大量典型實例幫助大家深刻認識Domain。進一步地,他對Domain理論的序結構研究、Domain上的蘊含生成拓撲、范疇研究、冪構造和概率冪構造等研究現狀及其已有研究結果進行重點講解及展示。
與會師生全神貫注地聆聽,積極交流討論,針對Scott連續函數的保定向并在乘積結構中的表示、代數Domain、Domain上的蘊含生成拓撲及收斂理論等問題向李教授提問請教,李慶國教授都詳細地作了解答。現場氣氛活躍,與會師生表示收獲頗豐,不僅對Domain理論有了更深層次的認識,而且開闊了科學研究思路。
此次活動為我校青年教師搭建了學習與交流的平臺,助力我校教師在科學研究道路上不斷成長與進步,為培養更多優秀教師奠定堅實的基礎。
