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