澳门网上赌彩网址大全新闻网11月24日讯 11月23日,北京邮电大学教授郁文生应电气工程学院邀请在腾讯会议作题为《自科基金申报经验交流——以公理化集合论机器证明系统研究为例》的学术报告。电气工程学院、数学学院、计算机科学与工程学院的部分教师及研究生参加了此次会议报告。
郁文生现为北京邮电大学电子工程学院教授、博士生导师。他在报告中就数学定理的机器证明是人工智能基础理论的深刻体现问题进行了深入认真地讲解。郁文生提出利用计算机证明辅助工具,可以完整构建布尔巴基数学三大母结构的形式化系统。利用交互式定理证明工具 Coq,实现Morse-Kelley公理化集合论形式化系统,在一定意义上,实现了读者跟随计算机学习、理解、构建、教育乃至发展现代数学的尝试。同时郁文生结合此次会议讲解内容对申请国家自然科学基金流程进行详细分析。
与会师生向郁文生请教了很多数学和人工智能方面的问题以及自科基金申报中的问题,郁文生进行细致解答。此次会议报告让与会师生受益匪浅,会议获得一致好评。

【供稿单位:电气工程学院 作者:陈大 陈昊 审核:陈勇 编辑:新闻中心 责编:刘佳】