湖南大学李庆国教授应邀来公司讲学
2012年5月26日,湖南大学数学与计量经济学院教授、博士生导师、湖南大学研究生院经理李庆国教授于上午9:30在william威廉亚洲官方9-411室为william威廉亚洲官方的师生作了一场题为“Domain理论”的学术讲座。由william威廉亚洲官方经理欧阳自根教授主持,廖新元教授、唐衡生副教授、廖茂新副教授等老师以及william威廉亚洲官方的研究生参加学术报告会。
欧阳经理致欢迎辞并简要介绍了李庆国教授的简历。李庆国教授介绍了数学中的序结构、代数结构和拓扑结构,详细分析了Domain理论的发展背景及其在理论计算机领域的应用,Domain理论应用了一般拓扑学、范畴学等多学科的知识,为函数式语言给出了语义模型。最后李庆国教授还简要阐述了连续格理论、信息系统理论、概念格和粗糙集理论以及剩余格、格效应代数,与Domain理论一起,为程序语言的定义、设计和系统化的解释、验证提供了坚实的数学基础。李教授和在座师生就有关学术问题进行交流和探讨,并且现场回答了老师和同学的提问,赢得了同学们的阵阵掌声。