张景中电子科技大学 电子科技大学导师介绍:张景中
张景中 中国科学院院士,计算机科学与工程学院教授,博导
1936年生于河南省汝南县,计算机科学家、数学家和数学教育家、四川省计算机学会理事长,《计算机应用》期刊主编,"全国五一劳动奖章"获得者,中国科学院成都计算机应用研究所名誉所长,广州大学计算机科学与教育软件学院名誉院长,教育部华中师大教育信息技术工程研究中心学术委员会主任。
曾任中国科学院成都数理研究室主任、成都计算机应用研究所副所长,中国科普作家协会理事长、广州大学计算机教育软件研究所所长。1959年毕业于北京大学数学力学系,1979年任教于中国科学技术大学,1986年任中国科学院研究员。
2008年10月来电子科技大学工作。多年来,张景中院士承担国家攀登项目和国家973项目有关数学机械化的科研项目。
张景中院士长期致力于计算机科学和数学的研究,在机器证明、教育数学、距离几何及动力系统等研究领域做出了突出的贡献。他提出了定理机器证明的一系列新算法,包括通过用检验有限个实例证明一般几何定理的"数值并行法"、判定代数系统相关性的"含参结式法"、求解代数方程组的"WR相对分解分解算法"、有关Ritt-Wu特征列的"弱非退化条件"等等。
所创建的几何定理可读证明自动生成的理论和算法,被国外同行誉为计算机处理几何问题发展道路上的里程碑,是自动推理领域30年来最重要的进展之一。
张景中院士提出了"教育数学"的概念和基本理论,并积极倡导发展这一全新的学科。 在此方向,他提出了三角、几何、代数相互渗透的新的初等数学教学体系;提出了非ε语言的极限概念表述和实数理论的连续归纳法;实现了不用极限或无穷小建立微积分的基本理论和方法。
1980年以来,张景中院士发表学术论著150多篇(册),出版专著及科普书17部 。1982年获国家发明二等奖,1995年获中科院自然科学奖一等奖和中国图书奖,1997年获国家自然科学奖二等奖,2003年获全国科普创作一等奖、五个一工程奖和国家图书奖,2005年获国家科技进步二等奖。
