湖南大学李庆国教授应邀来我校讲学

2012年5月26日，湖南大学数学与计量经济学院教授、博士生导师、湖南大学研究生院院长李庆国教授于上午9：30在77779193永利(官方VIP认证)-正版App Store9-411室为77779193永利(官方VIP认证)-正版App Store的师生作了一场题为“Domain理论”的学术讲座。由77779193永利(官方VIP认证)-正版App Store院长欧阳自根教授主持，廖新元教授、唐衡生副教授、廖茂新副教授等老师以及77779193永利(官方VIP认证)-正版App Store的研究生参加学术报告会。

欧阳院长致欢迎辞并简要介绍了李庆国教授的简历。李庆国教授介绍了数学中的序结构、代数结构和拓扑结构，详细分析了Domain理论的发展背景及其在理论计算机领域的应用，Domain理论应用了一般拓扑学、范畴学等多学科的知识，为函数式语言给出了语义模型。最后李庆国教授还简要阐述了连续格理论、信息系统理论、概念格和粗糙集理论以及剩余格、格效应代数，与Domain理论一起，为程序语言的定义、设计和系统化的解释、验证提供了坚实的数学基础。李教授和在座师生就有关学术问题进行交流和探讨，并且现场回答了老师和同学的提问，赢得了同学们的阵阵掌声。