湖南大学博士生导师贾晓东应邀到申博sunbet现金网_菲律宾sunbet下载-【官方网站】做学术报告
2024年11月8日16：40-18：40，湖南大学岳麓学者博士生导师贾晓东副教授莅临学校在思学楼A110展开了申博sunbet现金网_菲律宾sunbet下载-【官方网站】《概率程序语言的domain理论基础》的学术讲座，理学院金检华教授主持了会议，相关方向的教师及研究生们参加了此次学术交流活动。
贾晓东老师首先介绍了函数程序语言及其指称语义，图灵奖得主Dana Scott提出的domain理论利用序与拓扑结构给出程序的含义，借助数学理论来理解和预测程序的运行行为，指导程序语言的设计与验证。接着，他介绍了在人工智能研究中发挥重要作用的概率程序语言，详细阐述了高阶概率程序语言的domain理论基础及著名的Jung-Tix问题，深入浅出地引导师生探索与发现真问题，激发学生的求知欲和创新思维。
与会师生全神贯注地聆听，积极交流讨论，针对概率程序语言的变量类型、指代方式、概率幂domain赋值等问题向贾老师提问请教，贾老师都详细地作了解答。现场气氛活跃，与会师生表示受益匪浅，不仅对概率程序语言及其Domain理论基础有了更深层次的认识，而且拓展了科学研究方法。
此次活动为申博sunbet现金网_菲律宾sunbet下载-【官方网站】青年教师搭建了学习与交流的平台，助力申博sunbet现金网_菲律宾sunbet下载-【官方网站】教师在科学研究道路上不断成长与进步，为培养更多优秀教师奠定坚实的基础。
下一条：湖南大学李庆国教授应邀到申博sunbet现金网_菲律宾sunbet下载-【官方网站】做学术报告
【关闭】
版权所有 ©西南石油大学科学技术发展研究院
联系地址：申博sunbet现金网_菲律宾sunbet下载-【官方网站】成都市新都区新都大道8号 联系电话：028-83032340 EMAIL:kyc@swpu.edu.cn