定理机器证明的开拓者——记著名计算机科学家张景中院士罗炎明  

出　　处：《科学中国人》1998年第6期36-38,共3页Scientific Chinese

摘　　要：在美丽如画的四川盆地,闻名于世的中国科学院建省一(?)重要的基地,那就是成都分院。 有这么一位著名的科学家: 他长期从事数学、数理科学和计算机科学的教学和研究 他开拓了定理机器证明的理论与方法; 他提出了“教育数学”的思想; 他致力于把成果转化为现实的生产力,为经济建设和教(?)服务; 他既是一位成就突出的学者,又是一个品德高尚的共产(?)员。他经历坎坷,遭受过常人难以承受的挫折,但他的拳拳(?)国之心却没有丝毫的动摇; 他就是中国科学院成都计算机应用研究所名誉所长张景(?)院士——著名的计算机理论科学家、数学家、博士生导师、(?)普作家和党幼十五大代表。

关 键 词：定理机器证明 计算机科学家 教育数学 院士 数学实验室 成都分院 中国科学院 中国科技大学 学友 智能教育软件 

分 类 号：K826.1[历史地理—历史学]