2024年11月8日14:40-16:40,湖南大学博士生导师李庆国教授莅临学校在思学楼A110展开了关于《Domain理论简介》的学术讲座,理学院院长宋国杰教授主持了会议,相关方向的教师及研究生们参加了此次学术交流活动。
李庆国教授通过实例深入浅出地介绍程序语言、程序语言的指称语义及其重要意义,对Domain理论产生的背景、基本构造做了详细阐述,接着列举了大量典型实例帮助大家深刻认识Domain。进一步地,他对Domain理论的序结构研究、Domain上的蕴含生成拓扑、范畴研究、幂构造和概率幂构造等研究现状及其已有研究结果进行重点讲解及展示。
与会师生全神贯注地聆听,积极交流讨论,针对Scott连续函数的保定向并在乘积结构中的表示、代数Domain、Domain上的蕴含生成拓扑及收敛理论等问题向李教授提问请教,李庆国教授都详细地作了解答。现场气氛活跃,与会师生表示收获颇丰,不仅对Domain理论有了更深层次的认识,而且开阔了科学研究思路。
此次活动为我校青年教师搭建了学习与交流的平台,助力我校教师在科学研究道路上不断成长与进步,为培养更多优秀教师奠定坚实的基础。