唐稚松（1925.8.7-2008.7.21），，计算机科学与软件工程专家。湖南长沙人。1950年毕业于清华大学哲学系，1952年同系研究生毕业。中国科学院软件研究所研究员。60年代中从事自动机理论研究，证明计算机转移命令的许多结构性性质，如转移命令可用循环代替，它比Bohm－Jacopi定理早一年。70年代中从事结构程序设计与结构化语言的研究，推动了国内这方面工作的开展。80年代初开始从事时序逻辑语言XYZ/E及以它为基础的软件工程工具与环境系统XYZ系统的研究，将时序逻辑理论与软件工程技术有机结合起来，以提高软件开发自动化的水平，从而提高其生产率。其中时序逻辑语言XYZ／E是世界上第一个可执行的时序逻辑语言。1991当选为中国科学院院士。
“樱花面”做成了文创产品
中华节庆月历|3月节庆:山东泰山庙会 天津运河桃花节等你来!
独自摩旅环游越南发现：男人喜欢戴绿帽子，背后原因大揭秘！
扬州瘦西湖的“瘦”字从何而来？你知道吗？
春花烂漫三月临，赏春免票摘星楼
赴日游客年年在增长，为什么中国游客热衷于日本？原因大家都认同
中国日出最早的小镇，夏季凌晨2点多就日出，全镇只有一户人家
难得一见！全球第一火车长达7353米，看见它连车厢都数不过来
这座城市是中国八大古都之一，但大家却称它为火车拉来的城市
娱乐设施安全第一
我国被誉为“稀土王国”的城市，位于江西省，还是第一大地级城市
开封是八朝古都，河南省会为何在1954年迁走，郑州好在哪？
为建造水电站，淹没了两座千年古城，迁移了30万居民
玛瑙石酒庄，JS高分酒款！
早春盛会，太行规模最大郁金香赏花节重磅来袭，福利抢先送！
为何出差的人不住宾馆，却想住在洗浴中心？说出原因你信吗？
山西7旬大爷一人吃饱全家饱，独占山头当大王，看他活成啥样子
翼天文旅集团 | 非遗闹元宵，最牛板凳龙
吴忠打造高品质生态惠泽宁夏400万人
金色麦田机场vip卡怎么退卡
