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

　　

简介

　　（1936- ）河南省汝南县人。曾用名井中。1954年进入北京大学数学力学系这习，1957年肄业，以后曾在北京清河农场等地劳动。1979年任中国科学技术大学数学系讲师，1981年升为副教授。1958年起在中国科学院成都分院工作，任数理科学研究室主任、研究员。计算机科学家、数学家和数学教育学家。中共党员、中国科学院院士、计算机学科和数学学科博士生指导教师、中国科普作家协会理事长。现任广州大学计算机教育软件研究所所长，中国科学院成都计算机应用研究所名誉所长。91年开始享受政府特殊津贴。曾获“全国优秀教师”等称号及“全国五一劳动奖章”。2009年到电子科技大学工作，任电子科技大学计算机推理与可信计算实验室主任。
　　

科研成就

　　

　　张院士主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。其主要贡献是：（一）提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。（二）创立计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。（三）创立定理机器证明的数值并行方法的原理和算法。（四）对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题。（五）创立了教育数学的思想和方法。
　　自1980年以来，张院士发表学术论著共 150多篇(册)，还撰写了大量的科普文章和通俗读物，1990年被中国科普协会审定为建国以来贡献突出的科普作家之一，1994年被中国少年儿童出版社评为十大金作家之一。作品《教育数学丛书》1995年获“第九届中国图书奖”和“第一届全国数学教育图书一等奖”。作品《数学家的眼光》1996年获第三届全国优秀科普作品二等奖，2002年获广州市首届优秀科普作品一等奖。作品《院士数学讲座》2003年获第五届全国优秀科普作品奖科普图书类一等奖。作品《院士数学讲座专辑（3册）》一书2003年5月荣获第五届全国优秀科普作品奖科普图书类一等奖，2003年12月荣获中华人民共和国新闻出版署颁发的第六届国家图书奖。《院士数学讲座：帮你学数学》一书荣获中共中央宣传部颁发的精神文明建设“五个一工程”第九届“入选作品奖”。
　　近年来，张景中院士所承担的国家973项目及省、市、学校的科研项目十多项，总经费为四百多万元。成果《安全、节能、低噪声的木工电磁振动刨床和木材的电磁振动刨削工艺》1982年获国家发明二等奖。成果《几何定理机器证明理论与算法新进展》1995年获“中科院自然科学奖一等奖”，1997年获“国家自然科学奖二等奖”。所主持开发的软件《Z+Z智能教育平台》2000年获香港国际发明展览会金奖。其中的“平面几何”、“解析几何” 2000年通过国家教育部教材审定委员会审定，由人民教育电子音像出版社出版发行。2003年被编入北京师范大学出版的初中数学教材并向全国发行。所主持开发的“智能教育平台--小学生版”2002年获第六届全国多媒体教育软件大奖赛一等奖。
　　

教学成就

　　
　　在教学方面，1996年，张景中院士作为学科带头人，创建了广州大学（原广州师院）“课程与教学论”硕士点并任该点硕士生导师和学科带头人。1997年“学科教学论（数学）”被广州市教育局评为广州市重点学科。1998创办了软件所信息与计算科学本科试点班，近年来，培养了本科生、硕士生及博士生几十人。2002年在广州大学的支持下，创立了广州景中教育软件有限公司并任公司董事长。
　　多年来，张景中院士带领软件所全体教职员工，坚持“产、学、研”相结合的发展道路，为教学、科研及成果产业化的成功创出了一条新路。
　　张景中，1936年12月生于河南省汝南县人。中科院院士、教授、博士生导师，现任首都师范大学现代教育技术中心特聘兼职院士，兼中国科学院成都