主讲人:王建东,南京航空航天大学计算机科学与技术学院教授、博士研究生导师。主要研究方向为人工智能、数据挖掘、信息安全,主持(参加)国家攀登计划课题、国家863重大项目子课题、国家自然科学基金重点课题等多项科研项目。在《Chinese Journal of Electronics》、《Journal of Systems Engineering and Electronics》、《软件学报》等国内外学术期刊上发表论文多篇,其中被SCI、EI收录50余篇。科研成果荣获中国航空工业总公司科技进步二等奖、太阳集团成登录网址国防科技进步一等奖、国防科学技术进步二等奖等奖项。

本次报告将主要介绍计算机与数学的关系,从计算、计算机科学、计算机发展与数学、数据的基本特征与作用、数学思维与数学文化等方面,着重介绍可计算性、差分机、哥德尔不完备定理、计算机科学中的数学方法等内容。