澳门金沙赌场-澳门金沙有那些玩法_百家乐是娱乐场_全讯网qtqnet (中国)·官方网站

學生 教工 校友 考生 訪客

  • English
  • Deutsch

中國科學院院士

何積豐

計算機軟件專家。1943年8月生于上海市。1965年畢業于復旦大學數學系。2005年當選為中國科學院院士。

  1980年起,從事程序設計理論及其應用研究。1986年和C.A.R.Hoare提出了“程序分解算子”,并將規范語言與程序語言看成是同一類數學對象。接著又提出了采用“關系代數”作為程序和軟件規范的統一數學模型,使得關系代數可用來描寫程序的分解和組合過程,直接支持軟件的開發。在數據精化方面,給出了處理非確定性程序語言數據精化的完備方法。1995年,在總結了多類程序語言語義理論和方法的基礎上,與C.A.R.Hoare提出了程序設計統一理論和連接各類程序理論的數學法則。還提出了用形式化的界面理論溝通幾種程序語言,以及非確定性數據流的數學模型及代數定律。近年來,研究的軟硬件協同設計系統,為減少系統芯片設計時間和降低成本提供了有益的方法。

太阳城百家乐官网网址--| 电脑百家乐的玩法技巧和规则| 网上玩百家乐官网有钱| 百家乐官网投注翻倍方法| 赌场百家乐欺诈方法| 百家乐官网筹码素材| 免费百家乐官网统计工具| 大发888站| 百家乐视频表演| 大发888迅雷下载免费| 田林县| 悦榕庄百家乐官网的玩法技巧和规则 | 顶级赌场代理| 百家乐官网讯特| 大发888出纳柜| 赌百家乐官网怎样能赢| 百家乐庄家闲| tt线上娱乐| 试玩区百家乐1000| 永利高百家乐官网信誉| 百家乐官网最佳打| 水果机| 必搏娱乐| 恒丰百家乐的玩法技巧和规则| 全迅网百家乐官网的玩法技巧和规则| 威尼斯人娱乐代理注| 百家乐官网设备电子路| 大发888最新官方网址| 百家乐官网算号软件| 百家乐认牌| 天镇县| 现场百家乐电话投注| 百家乐官网网站| 风水中的24山图| 百家乐官网看炉子的方法| 利德赌博| 试玩百家乐的玩法技巧和规则| 百家乐统计概率| 百家乐官网007| 百家乐官网怎么刷反水| 澳门凯旋门娱乐城|