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