电气工程学院邀请北京邮电大学郁文生教授作学术报告

时间:2020-11-24 21:13:23 来源: 点击数:

澳门网上赌彩网址大全新闻网11月24日讯  11月23日,北京邮电大学教授郁文生应电气工程学院邀请在腾讯会议作题为《自科基金申报经验交流——以公理化集合论机器证明系统研究为例》的学术报告。电气工程学院、数学学院、计算机科学与工程学院的部分教师及研究生参加了此次会议报告。

郁文生现为北京邮电大学电子工程学院教授、博士生导师。他在报告中就数学定理的机器证明是人工智能基础理论的深刻体现问题进行了深入认真地讲解。郁文生提出利用计算机证明辅助工具,可以完整构建布尔巴基数学三大母结构的形式化系统。利用交互式定理证明工具 Coq,实现Morse-Kelley公理化集合论形式化系统,在一定意义上,实现了读者跟随计算机学习、理解、构建、教育乃至发展现代数学的尝试。同时郁文生结合此次会议讲解内容对申请国家自然科学基金流程进行详细分析。

与会师生向郁文生请教了很多数学和人工智能方面的问题以及自科基金申报中的问题,郁文生进行细致解答。此次会议报告让与会师生受益匪浅,会议获得一致好评。



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

敬请关注!
国家民委官方微信
国家民委官方微信
澳门网上赌彩网址大全官方微信
澳门网上赌彩网址大全官方微信
澳门网上赌彩网址大全官方微博
澳门网上赌彩网址大全官方微博
请遵守《互联网电子公告服务管理规定》及中华人民共和国其他有关法律法规。
用户需对自己在使用本站服务过程中的行为承担法律责任。
本站管理员有权保留或删除评论内容。
评论内容只代表网友个人观点,与本网站立场无关。
 匿名发布 验证码 看不清楚,换张图片
0条评论    共1页   当前第1

Copyright 2013-2014 澳门网上赌彩网址大全-澳门网址网站导航大全 版权所有,转载、摘编请注明出处!

联系电话:028-85708700  航空港校区地址:双流县航空港开发区大件路文星段168号(610225)
联系电话:028-85522591  武侯校区地址:       四川省成都市一环路南四段(610041)

今天访问 次,
本月访问 次,
总共