国产精品99一区二区三区,91色色色,97色大香蕉,欧美亚洲精品一区二区久久,久久久欧美精品影院,大香蕉色色网,久久久穴,精品一区二区三区四,亚洲精品久久精品99,韩国精品视频一区二区在线播放

歡迎您訪問思政資源庫！
中唐方德官網(wǎng) | 思政直播
中國科學(xué)院院士李未 在計算機程序語義研究方面獲國家自然科學(xué)二等獎

中國科學(xué)院院士李未 在計算機程序語義研究方面獲國家自然科學(xué)二等獎

5915
0
展開
下載
收藏
版權(quán)說明

發(fā)布日期：2021-03-24

true

來源：百度圖片

作者：百度

簡介：
中國科學(xué)院院士李未，擔(dān)任國務(wù)院學(xué)位委員會委員、國有智能計算機專家組副組長等。系統(tǒng)地解決了實用并行程序設(shè)計語言，特別是并行及通訊結(jié)構(gòu)的語義問題，在并行程序語言翻譯正確方面做出創(chuàng)始性貢獻。還提出開放邏輯理論，建立了形式系統(tǒng)序列的極限理論等，證明了正交設(shè)計的最優(yōu)性，在研究和使用硅編譯技術(shù)及智能計算機研究等做出突出的成績。

適用專業(yè)(4)

    高職(1):

  • 計算機應(yīng)用技術(shù)
    • 展開

    本科(1):

  • 計算機科學(xué)與技術(shù)
    • 展開

    中職(1):

  • 計算機應(yīng)用
    • 展開

    技工(1):

  • 計算機應(yīng)用與維修
    • 展開
版權(quán)說明及權(quán)利通知
加入資源庫VIP 本文免費下載
2萬VIP文檔下載
海量文檔免費下載
付費資源7折起
專屬客服服務(wù)
僅需0.6元/天
開通VIP
繼續(xù)閱讀
VIP用戶可繼續(xù)閱讀
收藏
版權(quán)說明
下載
VIP專享文檔
付費資源7折起
專屬客服服務(wù)
僅需0.6元/天
立即開通