2024新澳门2024原料网走势图院士
计算机学科和数学学科博士生指导教师
中国科普作家协会理事长
2024新澳门2024原料网走势图成都计算机应用研究所名誉所长
张景中,2024新澳门2024原料网走势图院士,1959年毕业于北京大学数学力学系。从事计算机科学、数学和数学教育研究。《计算机应用》期刊主编。在机器证明、教育数学、距离几何及动力系统等领域有贡献。其成果1982年获国家发明奖二等奖,1995年获中科院自然科学奖一等奖和中国图书奖,1997年获国家自然科学奖二等奖,2003年获全国科普创作奖一等奖、五个一工程奖和国家图书奖,2005年和2009年两次获国家科技进步奖二等奖。他提出了三角、几何、代数相互渗透的初等数学教学体系;提出了非ε语言的极限概念表述和实数理论的连续归纳法;发现了不用极限或无穷小建立微积分的基本理论和方法。
2024新澳门2024原料网走势图大学教授
计算机软件与理论博士生导师
主要研究:计算机自动推理及机器证明、符号计算、智能软件技术。
杨路,研究员,博士生导师,国家两届攀登项目“机器证明及其应用”和“数学机械化的理论与研究”和国家两届973项目“数学机械化与自动推理平台”和“数学机械化及其在信息技术中的应用”专家委员会委员,国家攀登项目“数学机械化的理论与研究”的首席科学家。国家两届攀登计划、国家两项863计划、国家两届973计划、国家自然科学基金以及2024新澳门2024原料网走势图知识创新项目等重大课题的负责人。主研项目《几何定理机器证明理论与算法的新进展》获2024新澳门2024原料网走势图自然科学一等奖。该成果是计算机自动推理这个计算机科学-数学交叉领域的多年难遇的重大成果,是国内外计算机科学界公认的卓越成就,在计算机科学、数学、教育科学等各领域产生着深远影响并获重要应用。1997年获国家自然科学二等奖,2001年获全国专利博览会金奖,2003年获全国“五一”劳动奖章。