讲座时间：11月15日下午16：00点
地点：犀浦校区图书馆一号报告厅
题目：微积分的故事
主讲人：张景中
张景中介绍：张景中院士：中国科学院院士，中国科普作家协会理事长。任广州大学计算机教育软件研究所所长，中国科学院成都计算机应用研究所名誉所长，现任华中师范大学国家数字化学习工程技术研究中心学术委员会主任。1991年开始享受政府特殊津贴。1995年当选为中国科学院院士。曾获“全国优秀教师”等称号及“全国五一劳动奖章”。
张景中院士主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。其主要贡献是：（一）提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。（二）创立计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。（三）创立定理机器证明的数值并行方法的原理和算法。（四）对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题。（五）创立了教育数学的思想和方法。
近年来，张景中院士承担的国家973项目等项目多项。成果《安全、节能、低噪声的木工电磁振动刨床和木材的电磁振动刨削工艺》1982年获国家发明二等奖。成果《几何定理机器证明理论与算法新进展》1995年获“中科院自然科学奖一等奖”，1997年获“国家自然科学奖二等奖”。所主持开发的软件《Z+Z智能教育平台》2000年获香港国际发明展览会金奖。
欢迎广大研究生及本科生同学参加！
