张景中

张景中

中国科学院院士
张景中,1936年12月30日出生于河南汝南县,广州大学计算机教育软件研究所所长、教授、计算机学科和数学学科博士生导师。张景中于1959年从北京大学数学力学系毕业;1979年担任中国科学技术大学数学系讲师;1981年晋升为副教授;1985年调到中国科学院成都分院工作;1986年担任中国科学院研究员,中国科学院成都分院数理科学研究室主任,中国科学院成都计算机应用研究所副所长;1993年被批准为博士导师;1995年当选为中国科学院院士,同年调入广州师范学院;1996年初创办了广州师范学院计算机教育软件研究所;2002年创立了广州景中教育软件有限公司并任公司董事长;2009年到电子科技大学工作。计算机科学家、数学家,主要从事机器证明、教育数学、距离几何及动力系统研究。[1]
    中文名:张景中 出生地:河南省汝南县 毕业院校:北京大学 职业:教育科研工作者 学术代表作:《数学家的眼光》、《院士数学讲座》 主要成就:1995年当选为中国科学院院士

人物经历

1936年12月30日,张景中出生于河南省汝南县。

1954年,进入北京大学数学力学系学习。

1957年,从北京大学肄业,在北京清河农场等地劳动。

1959年,从北京大学数学力学系毕业。

1979年,担任中国科学技术大学数学系讲师。

1981年,晋升为副教授。

1985年,调到中国科学院成都分院工作。

1986年,担任中国科学院研究员,中国科学院成都分院数理科学研究室主任,中国科学院成都计算机应用研究所副所长。

1993年12月,由国务院学位委员会批准为博士导师。

1995年10月,当选为中国科学院院士;同年,调入广州师范学院(现广州大学)。

1996年初,创办了广州师范学院计算机教育软件研究所。

2002年,在广州大学的支持下,创立了广州景中教育软件有限公司并任公司董事长。

2009年,到电子科技大学工作,担任电子科技大学计算机推理与可信计算实验室主任。

主要成就

科研成就

科研综述

张景中提出和实现了定理机器证明的数值并行方法。把多年来在教育数学研究中所发展的几何新方法用于机器证明,并提出消点思想,创建了几何定理可读证明自动生成的原理和方法,用这个方法可在微机上快速地进行几何证明,计算和发明新定理,并给出易于理解的有几何意义的证明。

发展了非线性振动技术。发展了几何算法的研究,解决了初等图形在欧氏空间嵌入等问题。开拓教育数学的研究,提出以面积为中心的几何教材新体系新方法极限概念的非e语言和连续归纳法将自动推理的成果和方法用于ICAI的研究,主持开发了新型智能理科教育软件。

人才培养

学科建设

1996年,张景中参与创建了广州师范学院“课程与教学论”硕士点,并任该点硕士生导师和学科带头人。

1997年,“学科教学论(数学)”被广州市教育局评为广州市重点学科。

1998年9月,招收了一届“信息与计算科学”本科试点班。

平台建设

2000年10月,张景中主持研发的“Z+Z智能教育平台——平面几何、解析几何”通过教育部中小学教材审定委员会审查。

2003年,主持研发的“Z+Z智能教育平台”被编入北京师范大学出版的初中数学教材并向全国发行。

社会任职

1997年9月,中国共产党第十五次全国代表大会代表;

1999年,中国科普作家协会理事长;

2004年5月,中国高等教育学会教育数学专业委员会第一届理事会理事长;

2006年3月,江西城市学院名誉校长、学术委员会主任。

人物评价

张景中在机器证明、教育数学、距离几何及动力系统等多个学科领域做出了突出的贡献,是中国在这些领域中的学术带头人。在广州大学课程与教学论学科建设中做出重要贡献。(广州大学计算机科学与网络工程学院评)

张景中进行教育信息技术方面的研究,主要来源于机器自动推理的应用推广,由此产生了超级画板的推广,进而对教息技术具有实际性的推动作用,是教育技术领域真正的搞学术研究的大师。(广州大学校友会评)

相关词条

相关搜索

其它词条