电子科技大学导师介绍:张景中
张景中 中国科学院院士,计算机科学与工程学院教授,博导 1936年生于河南省汝南县,计算机科学家、数
张景中 中国科学院院士,计算机科学与工程学院教授,博导
1936年生于河南省汝南县,计算机科学家、数学家和数学教育家、四川省计算机学会理事长,《计算机应用》期刊主编,“全国五一劳动奖章”获得者,中国科学院成都计算机应用研究所名誉所长,广州大学计算机科学与教育软件学院名誉院长,教育部华中师大教育信息技术工程研究中心学术委员会主任。曾任中国科学院成都数理研究室主任、成都计算机应用研究所副所长,中国科普作家协会理事长、广州大学计算机教育软件研究所所长。1959年毕业于北京大学数学力学系,1979年任教于中国科学技术大学,1986年任中国科学院研究员。2008年10月来电子科技大学工作。多年来,张景中院士承担国家攀登项目和国家973项目有关数学机械化的科研项目。
张景中院士长期致力于计算机科学和数学的研究,在机器证明、教育数学、距离几何及动力系统等研究领域做出了突出的贡献。他提出了定理机器证明的一系列新算法,包括通过用检验有限个实例证明一般几何定理的“数值并行法”、判定代数系统相关性的“含参结式法”、求解代数方程组的“WR相对分解分解算法”、有关Ritt-Wu特征列的“弱非退化条件”等等。所创建的几何定理可读证明自动生成的理论和算法,被国外同行誉为计算机处理几何问题发展道路上的里程碑,是自动推理领域30年来最重要的进展之一。
张景中院士提出了“教育数学”的概念和基本理论,并积极倡导发展这一全新的学科。 在此方向,他提出了三角、几何、代数相互渗透的新的初等数学教学体系;提出了非ε语言的极限概念表述和实数理论的连续归纳法;实现了不用极限或无穷小建立微积分的基本理论和方法。
1980年以来,张景中院士发表学术论著150多篇(册),出版专著及科普书17部 。1982年获国家发明二等奖,1995年获中科院自然科学奖一等奖和中国图书奖,1997年获国家自然科学奖二等奖,2003年获全国科普创作一等奖、五个一工程奖和国家图书奖,2005年获国家科技进步二等奖。
- 2020-03-21关于考研,一定要认识到的几个误区(一点经验之谈)
- 2023-06-01电子科技大学 专业面试试资料汇总(收集版)
- 2022-06-0623电子科技大学 电子科大821经济学考研经验分享——专业分130学长
- 2022-06-0623电子科技大学 MTI 翻译硕士 考研经验分享——410排名第一上岸
- 2022-06-0623电子科技大学 马克思主义 考研经验——420高分学姐(初...
- 2022-03-1619考研809 工商管理学硕已上岸经验贴
- 2022-01-1719年护理考研经验分享
- 2021-09-272017电子科大MTI经验贴
- 2021-07-11电子科技大学 计算机资料汇总 (申精!)
- 2021-06-142019电子科技大学翻译硕士MTI初复试心得