湖南大学博士生导师贾晓东应邀到金沙娱场城app7979做学术报告

发布日期:2024年11月11日          作者:金检华         编辑:沈立芹         审核:杨兆中         点击:[]

2024年11月8日16:40-18:40,湖南大学岳麓学者博士生导师贾晓东副教授莅临学校在思学楼A110展开了金沙娱场城app7979关于《概率程序语言的domain理论基础》的学术讲座,理学院金检华教授主持了会议,相关方向的教师及研究生们参加了此次学术交流活动。

贾晓东老师首先介绍了函数程序语言及其指称语义,图灵奖得主Dana Scott提出的domain理论利用序与拓扑结构给出程序的含义,借助数学理论来理解和预测程序的运行行为,指导程序语言的设计与验证。接着,他介绍了在人工智能研究中发挥重要作用的概率程序语言,详细阐述了高阶概率程序语言的domain理论基础及著名的Jung-Tix问题,深入浅出地引导师生探索与发现真问题,激发学生的求知欲和创新思维。

与会师生全神贯注地聆听,积极交流讨论,针对概率程序语言的变量类型、指代方式、概率幂domain赋值等问题向贾老师提问请教,贾老师都详细地作了解答。现场气氛活跃,与会师生表示受益匪浅,不仅对概率程序语言及其Domain理论基础有了更深层次的认识,而且拓展了科学研究方法。

此次活动为金沙娱场城app7979青年教师搭建了学习与交流的平台,助力金沙娱场城app7979教师在科学研究道路上不断成长与进步,为培养更多优秀教师奠定坚实的基础。



下一条:湖南大学李庆国教授应邀到金沙娱场城app7979做学术报告

关闭

Baidu
sogou