党建群团
当前位置: 首页 -> 党建群团 -> 学生工作 -> 正文

学生工作

数学与统计学院“吴文俊与机械化证明”主题教授论坛顺利举行

2018年09月28日 12:21  点击:[]

9月27日晚,数学与统计学院在2106教室举办了以“吴文俊与机械化证明”为主题的学术报告会。数学与统计学院党总支书记李建民教授担任主讲人,数学与统计学院17级全体学生参加了此次学术报告会。

李书记首先对自己的报告进行了简单的介绍,此次报告围绕“吴文俊的生平简介”、“吴文俊的科研成就”及“机械化证明简介”三个方面进行讲述。在报告中,李书记说:“机械化证明在国家科技的进步中起到了很大作用,而机械化的发展离不开数学。”李书记还强调到数学是一个应用广泛的学科,不仅应用于机械化的发展,还应用在生活的方方面面。在报告的最后,李书记真诚的说:“希望同学们能够多读书,为自己蓄力,同时也为国家的发展贡献一份力量。”在同学们的掌声中,报告会顺利结束。

此次报告会,不仅使同学们了解了机械化的进程,加深了同学们对数学这一学科的理解,还引发了同学们对专业学习的思考。

1A665

上一条:数学与统计学院 18 级学生入学教育之安全教育顺利举行 下一条:不惧困苦 励志奋进——15数本1班梁梦棋

关闭