(
课件网) 第五单元 第1课 吴文俊的故事 清华版（小学） 通 1 学习目标 3 新知讲解 5 拓展延伸 7 板书设计 2 新知导入 4 课堂练习 6 课堂总结 课后作业 8 01 教学目标 （1）了解吴文俊的生平以及他在几何定理证明方面的成就。 （2）知道吴文俊人工智能奖的由来和此奖项在国内AI领域的重要地位。 （3）从吴文俊的科研经历中获得启示，没取智慧和力量。 02 新知导入 开创性理论贡献 吴文俊院士提出"数学机械化"思想，创新性地将代数方法应用于几何定理证明，为人工智能领域的自动推理开辟了新路径，使中国在该研究领域达到国际领先水平。 02 新知导入 国际学术影响力 其研究成果获得了美国人工智能协会前主席布莱索等国际权威的高度评价，彰显了中国学者在人工智能基础理论研究中的重要地位。 02 新知导入 励志的学术成长 尽管早期数学成绩并不突出，但通过自身努力实现学术"逆袭"，其经历体现了科研工作者坚持不懈、勇于创新的可贵品质，为青年学者树立了榜样。 03 新知讲解 学术背景与留学成就 吴文俊1919年生于上海，1940年毕业于交通大学数学系，1947年赴法国斯特拉斯堡大学深造，仅用两年（1949年）便获得拓扑学博士学位。 1 从零分起步的数学家 03 新知讲解 爱国情怀与归国选择 作为新中国初期最早归国的海外学者之一，吴文俊于1951年悄然放弃法国学术环境毅然回国，未公开告别便投身祖国建设。 1 从零分起步的数学家 03 新知讲解 学术荣誉的卓越成就 吴文俊院士荣获首届国家最高科技奖、首届国家自然科学一等奖等国内顶级奖项，以及邵逸夫数学奖、Herbrand自动推理杰出成就奖等国际殊荣，这些荣誉充分体现了他在数学机械化、自动推理等领域的开创性贡献。 1 从零分起步的数学家 03 新知讲解 学术影响与学科地位 这些重量级奖项不仅彰显了吴文俊在数学界的崇高声望，更凸显了其研究成果对中国数学学科发展的重要推动作用，以及在国际学术界的深远影响力，确立了中国在相关研究领域的领先地位。 1 从零分起步的数学家 03 新知讲解 早期学术兴趣的转变 吴文俊少年时期梦想成为物理学家，数学成绩平平甚至得过零分，高中阶段因物理老师发现其数学潜力，转而主攻数学。 1 从零分起步的数学家 03 新知讲解 大学阶段的迷茫与启蒙 大学初期因课程偏重计算而丧失兴趣，大三时受武崇林教授启发（代数与实变函数论课程），重新点燃对现代数学的理论热情，避免辍学危机。 1 从零分起步的数学家 03 新知讲解 职业轨迹的意外转折 1940年毕业后辗转中学教职，1945年抗战胜利后进入上海临时大学，1946年因陈省身归国筹建数学所而获机遇，人生轨迹从此转向专业数学研究。 1 从零分起步的数学家 03 新知讲解 拓扑学研究的突破 随后在陈省身指导下专攻拓扑学，提出了国际公认的"吴公式"，奠定了其学术地位。在武崇林的理论启蒙和陈省身的专业塑造的引领下，顶尖学者飞速成长。 1 从零分起步的数学家 03 新知讲解 计算机应用的远见卓识 20世纪70年代，吴文俊在工厂劳动期间敏锐意识到计算机的社会变革潜力，自费2.5万美元购机并高强度投入编程研究，近60岁仍每天工作10余小时。 2 吴方法的诞生 03 新知讲解 方法论突破———"吴方法" 1977年提出几何定理证明的"吴方法"，创造性将几何问题转化为代数方程求解，攻克了机器证明领域长期存在的几何定理自动化难题，填补了王浩等学者在数理逻辑证明外的技术空白。 2 吴方法的诞生 03 新知讲解 国际学术界的里程碑认可 1988年《人工智能》特刊专题推介其方法，1997年获Herbrand奖，评语明确指出该方法扭转了几何定理证明领域20年停滞局面，将其提升为"最成功的研究领域之一"。 2 吴方法的诞生 03 新知讲解 个人学术影响力的典范性 以独立研 ... ...
