亚洲女同一区二区,AV资源每日更新网站,精品亚洲91久久久久,亚洲精品欧一区二区,www男人的天堂,亚洲国产精品久久久久蜜桃噜噜,欧美在线人一区二区三区,久久精品国产成人高清电影,手机在线观看的黄色AV网址,亚洲午夜末满十八勿入网站

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

中國(guó)科學(xué)院院士李未 在計(jì)算機(jī)程序語義研究方面獲國(guó)家自然科學(xué)二等獎(jiǎng)

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

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

true

來源:百度圖片

作者:百度

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

適用專業(yè)(4)

    高職(1):

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

    本科(1):

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

    中職(1):

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

    技工(1):

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