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

定理机器证明的开拓者——记著名计算机科学家张景中院士
罗炎明
佚名
【期刊名称】《科学中国人》
【年(卷),期】1998(000)006
【摘要】在美丽如画的四川盆地,闻名于世的中国科学院建省一(?)重要的基地,那就是成都分院。

有这么一位著名的科学家: 他长期从事数学、数理科学和计算机科学的教学和研究他开拓了定理机器证明的理论与方法; 他提出了“教育数学”的思想; 他致力于把成果转化为现实的生产力,为经济建设和教(?)服务; 他既是一位成就突出的学者,又是一个品德高尚的共产(?)员。

他经历坎坷,遭受过常人难以承受的挫折,但他的拳拳(?)国之心却没有丝毫的动摇; 他就是中国科学院成都计算机应用研究所名誉所长张景(?)院士——著名的计算机理论科学家、数学家、博士生导师、(?)普作家和党幼十五大代表。

【总页数】3页(P36-38)
【正文语种】中文
【中图分类】K826.1
【相关文献】
1.开拓者的石油梦--记我国著名油气勘探学家康玉柱院士 [J], 刘家贻
2.执拗的开拓者--记中国工程院院士、著名中药药理学家李连达教授 [J], 秦秋
3.开拓者的医学人生--记本刊顾问、我国著名军事外科学专家王正国院士 [J], 张良
4.勇闯创烧伤禁区的开拓者——记中国工程院院士、著名创烧伤外科专家盛志勇教授 [J], 向刚尔; 毛会彬
5.中国海洋“粮食基地”的开拓者——记著名海洋渔业与生态学家、中国工程院院士唐启升 [J], 王圣媛
因版权原因，仅展示原文概要，查看原文内容请购买。