张景中

计算机科学家、中国科学院院士

张景中,男,1936年12月30日生,河南汝南人, 计算机科学家、数学家、教育家、中国科学院院士。 其主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。

1954年,张景中进入 北京大学 数学力学系学习。 1959年,张景中从北京大学数学力学系毕业。1979年,他在 中国科学技术大学 数学系担任讲师,并于1981年升为副教授。 1986年,张景中担任 中国科学院 研究员,中国科学院成都分院数理科学研究室主任,中国科学院成都计算机应用研究所副所长。1991年,张景中开始享受政府特殊津贴。1995年10月,张景中当选为中国科学院院士。同年他调入广州师范学院。 1996年,张景中创建了广州大学(原广州师院)“课程与教学论”硕士点并任该点硕士生导师和学科带头人。 1997年,张景中当选为中共十五大代表。 2002年,张景中在广州大学的支持下,创立了广州景中教育软件有限公司并任公司董事长。 2022年9月17日,张景中作为首批进入广州科普研究智库的专家,在2022年 广州市 全国科普日 主会场活动暨第五届科普嘉年华上亮相。

张景中教授提出了 定理 机器证明的数值并行方法,解决了初等图形在欧氏空间嵌入等问题;创建了几何定理可读证明自动生成的原理和方法,推动了 机器定理证明 智能化技术的发展。他曾获1995年 中国科学院 自然科学奖 一等奖 、1997年国家自然科学 二等奖 及“ 全国五一劳动奖章 ”等;其应用研究获1982年国家发明二等奖等。

人物经历

张景中,男,1936年12月30日生,河南汝南人。

1954年,张景中进入 北京大学 数学力学系学习,1957年肄业,之后他曾在北京清河农场等地劳动。 1958年起,张景中在中国科学院成都分院工作,任数理科学研究室主任、研究员。1959年,张景中从北京大学数学力学系毕业,1979年,他在 中国科学技术大学 数学系担任讲师,并于1981年升为副教授。 1985年,张景中调到中国科学院成都分院工作。1986年,张景中担任 中国科学院 研究员,中国科学院成都分院数理科学研究室主任,中国科学院成都计算机应用研究所副所长。1991年,张景中开始享受政府特殊津贴。1993年12月,国务院学位委员会批准张景中为博士导师。1995年10月,张景中当选为中国科学院院士,兼任 中国计算机学会 理事、 中国科学技术协会 委员。同年调入广州师范学院。 1996年,张景中作为学科带头人,创建了广州大学(原广州师院)“课程与教学论”硕士点并任该点硕士生导师和学科带头人。 1997年,张景中当选为中共十五大代表,同年他获“ 国家自然科学奖 二等奖 ”。

2002年,张景中在广州大学的支持下,创立了广州景中教育软件有限公司并任公司董事长。 2005年,张景中的作品《 数学家的眼光 》获国家科学技术进步二等奖。 2008年10月,张景中来到 电子科技大学 工作。 2022年9月17日,张景中作为首批进入广州科普研究智库的专家在2022年 广州市 全国科普日 主会场活动暨第五届科普嘉年华上亮相。

研究方向

张景中主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。

主要成就

科研成就

张景中的主要贡献是:

(一)提出了面积解题方法,并用之于机器证明的研究,使几何 定理 可读证明的自动生成这个多年来进展甚小的难题得到突破。

(二)创立 计算机 生成几何定理可读证明的原理和算法,这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。

(三)创立定理机器证明的数值并行方法的原理和算法。

(四)对 几何定理机器证明 的吴方法进行了改进和发展,创立了含参 结式 法,升列组的WR分解算法,彻底解决了可约升列相对分解问题。

(五)创立了教育数学的思想和方法。

此外张景中所承担的国家973项目及省、市、学校的科研项目十多项,总经费为四百多万元。他的成果《安全、节能、低噪声的木工电磁振动刨床和木材的电磁振动刨削工艺》于1982年获国家发明 二等奖 ;《几何定理机器证明理论与算法新进展》于1995年获“中科院自然科学奖一等奖”,他所主持开发的软件《Z+Z智能教育平台》于2000年获香港国际发明展览会金奖。其中的“平面几何”“解析几何” 2000年通过国家教育部教材审定委员会审定,由人民教育电子音像出版社出版发行。2003年被编入北京师范大学出版的初中数学教材并向全国发行。

人才培养

在教学方面,1996年,张景中院士作为学科带头人,创建了广州大学(原广州师院)“课程与教学论”硕士点并任该点硕士生导师和学科带头人。1997年“学科教学论(数学)”被 广州市教育局 评为广州市重点学科。1998年,张景中创办了软件所信息与计算科学本科试点班,培养了本科生、硕士生及博士生几十人。

社会任职

代表作品

主要论文

参考资料

书籍

参考资料

所获荣誉

个人荣誉

参考资料

科研成果荣誉

参考资料

人物评价

一个从事 计算机 推理研究的科学家,却几十年如一日,热心于用浅显的语言写书给青少年看;他喜爱数学,有志于为教育改造数学,把数学变得更容易。( 鄂尔多斯市 科学技术协会 评)

他是中国科学院院士,也是全国优秀教师;他是数学家、计算机科学家,也是中学数学教育的探索者、深受爱戴的科普作家。(《 瞭望 》周刊 评)

参考资料

  1. 张景中 广州大学 2024-03-17
  2. 张景中 中国科学院大学重庆学院 2025-02-27
  3. 两院院士 中国科学院重庆绿色智能技术研究院 2025-02-28
  4. 张景中 驻马店市人民政府 2025-02-28
  5. 张景中 广州大学 2025-02-27
  6. 张景中 电子科技大学教师个人主页 2025-02-27
  7. 科学驿站:首批4名院士专家亮相,广州科普研究智库出炉 腾讯新闻 2025-02-28
  8. 中国科学院院士张景中教授荣获2021年CCF终身成就奖 重庆邮电大学 2025-02-28
  9. 北大校友计算机科学家张景中院士 北京大学新闻网 2024-03-17
  10. 张景中 广州大学 2025-02-28
  11. 张景中院士漫谈“思考与创新”的“方法论” 电子科技大学 2024-03-17
  12. 中国科学院张景中院士应邀来我校作专题学术报告 阿坝师范学院 2024-10-18
  13. 张景中 华中师范大学校友会 2024-10-18
  14. 2025-02-28
  15. 院士教你学数学/中国科普大奖图书典藏书系 豆瓣读书 2025-02-28
  16. 大道至简,我想让数学更容易——中国科学院院士张景中 腾讯网 2024-04-29
  17. 中科信息首席科学家张景中院士荣获2021年“CCF终身成就奖” holdings.cas.cn 2024-04-29
  18. 2025-02-28
  19. 瞭望丨数学家、计算机科学家 张景中院士 教育数学:把数学变容易 百家号 2025-02-28