李未院士文集 2024 pdf epub mobi 電子書 下載

☆☆☆☆☆
簡體網頁||繁體網頁

李未院士文集 pdf epub mobi 著者簡介

李未，1943年

6月齣生。1966年畢

業於北京大學，

1983年獲英國愛丁

堡大學計算機科學

博士學位。現為北

京航空航天大學計

算機係教授、軟件

開發環境國傢重點

實驗室主任、中國

科學院院士、國務

院學位委員會委

員。李未在實用並

發語言語義、並發

語言的翻譯理論等

方麵取得瞭開創性

研究成果。曾獲國

傢自然科學二等

奬、何梁何利科技

進步奬等多項奬勵。

---

李未院士文集 pdf epub mobi 圖書描述

李未院士文集 2024 pdf epub mobi 電子書 下載

---

李未院士文集 pdf epub mobi 圖書目錄

目 錄
自述
科研論著
第一部分 程序理論
An Operational Semantics of Multitasking and Exception
Handling in Ada
A Syntax-Directed Approach for implementing the Rendez-
vous Mechanism in Ada
A Structural Operational Semantics for an Edison-like Langu-
age (!)
A Structural Operational Semantics for an Edison-like Langu-
age (2)
An Operational Translation Theory
第二部分 開放邏輯及其應用（英文）
An Open Logic System
A Logical Framework for Evolution of Specifications
The Inductive Process: A Logical Framework for In-
ductive Inference
第三部分 中文學術論文
關於離散型試驗的最優設計
一個開放的邏輯係統
歸納推理和歸納進程
形式化方法的局限性
第四部分 其他
對智能機基礎研究的幾點看法
從80年代各國計算機計劃看“八六三”智能機主題“九五’
調整
關於博士生的自我培養
論著目錄
· · · · · · (收起)

---

下載链接在页面底部

點擊這裡下載

    

---

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

---

想要找書就要到 本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

---

發表於2024-12-24

李未院士文集 2024 pdf epub mobi 電子書 下載

李未院士文集 2024 pdf epub mobi 電子書 下載

李未院士文集 2024 pdf epub mobi 電子書 下載

---

喜欢 李未院士文集 電子書 的读者还喜欢

李未院士文集 pdf epub mobi 讀後感

圖書標籤: 計算機科學  自然科學  程序設計  哲學  中國中青年院士文集  (共8冊)   

李未院士文集 pdf epub mobi 用戶評價

李未院士文集 2024 pdf epub mobi 電子書 下載

• 
  國有企業經營者激勵約束研究 2024 pdf epub mobi 電子書 下載
• 
  TI DSP在通信係統中的應用 2024 pdf epub mobi 電子書 下載
• 
  古文觀止-人人袖珍文庫(上下) 2024 pdf epub mobi 電子書 下載
• 
  客廳（上） 2024 pdf epub mobi 電子書 下載
• 
  食品添加劑分析檢驗手冊 2024 pdf epub mobi 電子書 下載
• 
  玄關·書房 2024 pdf epub mobi 電子書 下載
• 
  創造一個自我的世界-傢居設計 2024 pdf epub mobi 電子書 下載
• 
  兒童房.茶室 2024 pdf epub mobi 電子書 下載
• 
  衛生間 2024 pdf epub mobi 電子書 下載
• 
  (畜牧捲)圈養鴨高效生産技術 2024 pdf epub mobi 電子書 下載
• 
  廚房 2024 pdf epub mobi 電子書 下載
• 
  我們的傢園.山西 2024 pdf epub mobi 電子書 下載
• 
  數控技術應用基礎 2024 pdf epub mobi 電子書 下載
• 
  周恩來飛往萬隆 2024 pdf epub mobi 電子書 下載
• 
  美學讀本 2024 pdf epub mobi 電子書 下載
• 
  法學概論 2024 pdf epub mobi 電子書 下載
• 
  膝法大擂颱 2024 pdf epub mobi 電子書 下載
• 
  教育童話：另類眼光看教育 2024 pdf epub mobi 電子書 下載
• 
  攻剋雅思28天黃金法則 2024 pdf epub mobi 電子書 下載
• 
  神秘的地底世界 2024 pdf epub mobi 電子書 下載