北大校友计算机科学家张景中院士.doc

北大校友计算机科学家张景中院士 日期： 2007-03-02 ?信息来源: 信息来源:本网编辑部?? ?张景中? 河南省汝南县人。1959年毕业于北京大学数学力学系。计算机科学家、数学家和数学教育学家。中共党员、中国科学院院士、计算机学科和数学学科博士生指导教师、中国科普作家协会理事长。现任广州大学计算机教育软件研究所所长，中国科学院成都计算机应用研究所名誉所长。91年开始享受政府特殊津贴。曾获“全国优秀教师”等称号及“全国五一劳动奖章”。 张院士主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。其主要贡献是：（一）提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。（二）创立计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。（三）创立定理机器证明的数值并行方法的原理和算法。（四）对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的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年在广州大学的支持下，创立了广州景中教育软件有限公司并任公司董事长。 多年来，张景中院士带领软件所全体教职员工，坚持“产、学、研”相结合的发展道路，为教学、科研及成果产业化的成功创出了一条新路。? 编辑：尧华 ? 张景中院士做客“信息技术与信息化”名家讲坛 发布时间：2010-6-27 9:38:00??浏览量：1510??【字体：大 中 小】 应北京大学信息科学技术学院院长梅宏教授的邀请，中国科学院院士张景中教授于6月11日下午访问北大，并莅临北京大学“信息技术与信息化”名家讲坛，为全校师生做了题为“自动推理与教育信息技术”的精彩报告。90余名北大师生参加了讲座。 ? 张景中教授是我国知名的计算机科学家、数学家和数学教育学家，长期从事机器证明、教育数学、距离几何及动力系统等领域的研究。他创立了计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。张院士还创立了教育数学的思想和方法，撰写了大量的科普文章和通俗读物，曾获得“第九届中国图书奖”一等奖和“全国教育图书奖”一等奖。 ? 在长达2个小时的报告中，张院士从通俗易懂的事例入手，用简洁、明练的话语将其创立的几何定理可读证明的原理和算法娓娓道来，并用生动的案例讲解了采用计算机如何进行几何工作的处理，同时对该项技术进行了深入的分析，并展示了当前取得的成效。报告期间，前来听讲的老师与学生被张院士朴实而又生动的讲解深深吸引，大家都为张院士的理论及实践工作叹服。张院士演讲深入浅出、阐释清晰明确，赢得了现场师生的阵阵