湖南大學李慶國教授應邀來我校講學

2012年5月26日，湖南大學數學與計量經濟學院教授、博士生導師、湖南大學研究生院院長李慶國教授于上午9：30在2003网站太阳集团9-411室為2003网站太阳集团的師生作了一場題為“Domain理論”的學術講座。由2003网站太阳集团院長歐陽自根教授主持，廖新元教授、唐衡生副教授、廖茂新副教授等老師以及2003网站太阳集团的研究生參加學術報告會。

歐陽院長緻歡迎辭并簡要介紹了李慶國教授的簡曆。李慶國教授介紹了數學中的序結構、代數結構和拓撲結構，詳細分析了Domain理論的發展背景及其在理論計算機領域的應用，Domain理論應用了一般拓撲學、範疇學等多學科的知識，為函數式語言給出了語義模型。最後李慶國教授還簡要闡述了連續格理論、信息系統理論、概念格和粗糙集理論以及剩餘格、格效應代數，與Domain理論一起，為程序語言的定義、設計和系統化的解釋、驗證提供了堅實的數學基礎。李教授和在座師生就有關學術問題進行交流和探讨，并且現場回答了老師和同學的提問，赢得了同學們的陣陣掌聲。