免费在线观看一区_已故院士名單----中國科學(xué)院學(xué)部與院士

院士信息

唐稚松

唐稚松（1925.8.7-2008.7.21），計算機科學(xué)與軟件工程專(zhuān)家。湖南長(cháng)沙人。1950年畢業(yè)于清華大學(xué)哲學(xué)系，1952年同系研究生畢業(yè)。中國科學(xué)院軟件研究所研究員。60年代中從事自動(dòng)機理論研究，證明計算機轉移命令的許多結構性性質(zhì)，如轉移命令可用循環(huán)代替，它比Bohm－Jacopi定理早一年。70年代中從事結構程序設計與結構化語(yǔ)言的研究，推動(dòng)了國內這方面工作的開(kāi)展。80年代初開(kāi)始從事時(shí)序邏輯語(yǔ)言XYZ/E及以它為基礎的軟件工程工具與環(huán)境系統XYZ系統的研究，將時(shí)序邏輯理論與軟件工程技術(shù)有機結合起來(lái)，以提高軟件開(kāi)發(fā)自動(dòng)化的水平，從而提高其生產(chǎn)率。其中時(shí)序邏輯語(yǔ)言XYZ／E是世界上第一個(gè)可執行的時(shí)序邏輯語(yǔ)言。1991當選為中國科學(xué)院院士。