张景中院士、计算机科学家

张景中院士，中国科学院院士，现任广州大学计算机教育软件研究所所长，重庆邮电大学计算机科学与技术学院院长。他以中共党员的身份，担任多个学术及教育领导职务。自1991年起，他享受政府特殊津贴，并于1995年当选为中国科学院院士。张景中在教育数学、机器证明、距离几何及动力系统等领域有显著贡献，提出多项理论与算法，推动人工智能领域的发展。他著有多篇学术论文，发表于国内外期刊，并编写科普读物，广受赞誉。

在科研成就方面，张景中院士提出面积解题方法，应用于机器证明，突破了多年进展缓慢的难题。他创立了计算机生成几何定理可读证明的原理与算法，被认为是人工智能领域的重要里程碑。此外，他还创立了定理机器证明的数值并行方法，改进与发展了几何定理机器证明的吴方法，创立了含参结式法与WR分解算法，解决了可约升列相对分解问题。他的研究与成果在国内外获得广泛认可。

张景中院士的科普著作丰富，包括《数学家的眼光》、《教育数学丛书》、《院士数学讲座》等，多次获得国家级奖项。他不仅在学术研究上有所建树，还在教学方面作出贡献，创建硕士点并担任学科带头人，培养了大批本科生、硕士生和博士生。在教学与科研相结合的道路上，张景中院士带领团队探索出一条新路径。

张景中院士的著作涵盖了从学术论文到科普读物，内容涉及数学理论与应用、科学哲学、教育方法等。他的作品语言生动，启发性强，对数学普及与教育改革产生了深远影响。在教育信息技术领域，张景中院士致力于将机器自动推理应用于实际教学，推动教育技术的发展。

张景中院士的贡献不仅局限于学术研究和教育领域，他还积极参与科普教育工作，出版了一系列科普著作，以通俗易懂的方式向大众普及数学知识。他的创作不仅受到专业领域内的认可，也受到了广大读者的喜爱与欢迎。

扩展资料

（1936- ）河南省汝南县人。曾用名井中。1954年进入北京大学数学力学系学习，1957年肄业，以后曾在北京清河农场等地劳动。1979年任中国科学技术大学数学系讲师，1981年升为副教授。1958年起在中国科学院成都分院工作，任数理科学研究室主任、研究员。计算机科学家、数学家和数学教育学家。