唐稚松-唐稚松
- 更新日期:2025-06-23
- 查看次数:2
《唐稚松》,此词条收录于06/23,仅供参考
唐稚松(1925年8月7日—2008年7月21日),湖南长沙人,中国计算机科学和软件工程研究的先驱和开拓者之一,中国科学院学部委员,中国科学院软件研究所研究员。1950年毕业于清华大学哲学系,1952年同系研究生毕业。60年代中从事自动机理论研究,证明计算机转移命令的许多结构性性质,如转移命令可用循环代替,它比Böhm-Jacopini定理早一年。70年代中从事结构程序设计与结构化语言的研究,推动了国内这方面工作的开展。80年代初开始从事时序逻辑语言XYZu002FE及以它为基础的软件工程工具与环境系统XYZ系统的研究。