张景中院士


发布时间:2011年05月23日 12:51    点击: 次     文章出处:华师人事处

1936年出生,河南省汝南县人中共党员、中国科学院院士、计算机学科和数学学科博士生指导教师、中国科普作家协会理事长。任广州大学计算机教育软件研究所所长,中国科学院成都计算机应用研究所名誉所长,现任华中师范大学国家数字化学习工程技术研究中心学术委员会主任,江西城市学院名誉校长、学术委员会主任。1991年开始享受政府特殊津贴。1995年当选为中国科学院院士。曾获“全国优秀教师”等称号及“全国五一劳动奖章”。2006年3月任江西城市学院名誉校长、学术委员会主任。2009年到电子科技大学工作,任电子科技大学计算机推理与可信计算实验室主任。

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

其主要贡献是:(一)提出了面积解题方法,并用之于机器证明的研究,使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。(二)创立计算机生成几何定理可读证明的原理和算法,这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。(三)创立定理机器证明的数值并行方法的原理和算法。(四)对几何定理机器证明的吴方法进行了改进和发展,创立了含参结式法,升列组的WR分解算法,彻底解决了可约升列相对分解问题。(五)创立了教育数学的思想和方法。

? Copyright 2015 abefd365bet娱乐场 版权所有 武汉市珞瑜路152号abefd365bet娱乐场

邮编:430079 电话:027-67868048    华中师范大学人才招聘系统