当前位置:首页 » 湖南名人 » 正文

唐稚松 [公元1925年-2008年,中国科学院院士]

274次  2020-08-24  分类 : 湖南 长沙市  评论(0)
唐稚松(1925.8.7-2008.7.21),,计算机科学与软件工程专家。湖南长沙人。1950年毕业于清华大学哲学系,1952年同系研究生毕业。中国科学院软件研究所研究员。60年代中从事自动机理论研究,证明计算机转移命令的许多结构性性质,如转移命令可用循环代替,它比Bohm-Jacopi定理早一年。70年代中从事结构程序设计与结构化语言的研究,推动了国内这方面工作的开展。80年代初开始从事时序逻辑语言XYZ/E及以它为基础的软件工程工具与环境系统XYZ系统的研究,将时序逻辑理论与软件工程技术有机结合起来,以提高软件开发自动化的水平,从而提高其生产率。其中时序逻辑语言XYZ/E是世界上第一个可执行的时序逻辑语言。1991当选为中国科学院院士。

来源:云名人资料网 欢迎分享!+收藏本文

本文链接:https://www.cloudtibet.com/info/28087

相关推荐:

---

<< 上一篇 下一篇 >>

  • 评论(0条)
  • 相关文章

[用户登录]  [用户注册]  登录后可评论!
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。

Powered By 云名人资料网   
云名人资料网分享世界名人资料,全国著名人物介绍,历史故事,名人名言,著名历史事件,珍贵历史图片等资源!