|
友情提示：本站提供全国400多所高等院校招收硕士、博士研究生入学考试历年拼搏(中国)真题、考博真题、答案，部分学校更新至2012年，2013年；均提供收费下载。 下载流程： 拼搏(中国)真题 点击“拼搏(中国)试卷””下载; 考博真题 点击“考博试卷库” 下载
张景中，1936年出生，河南省汝南县人中共党员、中国科学院院士、计算机学科和数学学科博士生指导教师、中国科普作家协会理事长。任广州拼搏在线官方网站计算机教育软件研究所所长，中国科学院成都计算机应用研究所名誉所长，现任华中师范拼搏在线官方网站国家数字化学习工程技术研究中心学术委员会主任，江西城市学院名誉校长、学术委员会主任。1991年开始享受政府特殊津贴。1995年当选为中国科学院院士。曾获“全国优秀教师”等称号及“全国五一劳动奖章”。2006年3月任江西城市学院名誉校长、学术委员会主任。2009年到电子科技拼搏在线官方网站工作，任电子科技拼搏在线官方网站计算机推理与可信计算实验室主任。
张景中院士主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。
其主要贡献是：（一）提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。（二）创立计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。（三）创立定理机器证明的数值并行方法的原理和算法。（四）对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题。（五）创立了教育数学的思想和方法。
| 
文章搜索
您现在的位置： 
