《李未院士文集》是1999年北京出版社出版的圖書，作者是李未。
基本介紹
- 作者：李未
- ISBN：9787200038330
- 頁數：355
- 定價：37.00
- 出版社：北京出版社
- 出版時間：1999-01
- 裝幀：精裝
- 叢書： 中國中青年院士文集
作者介紹,作品目錄,
作者介紹
李未，1943年
6月出生。1966年畢
業於北京大學，
1983年獲英國愛丁
堡大學計算機科學
博士學位。現為北
京航空航天大學計
算機系教授、軟體
開發環境國家重點
實驗室主任、中國
科學院院士、國務
院學位委員會委
員。李未在實用並
發語言語義、並發
語言的翻譯理論等
方面取得了開創性
研究成果。曾獲國
家自然科學二等
獎、何梁何利科技
進步獎等多項獎勵。
作品目錄
目 錄
自述
科研論著
第一部分 程式理論
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年代各國計算機計畫看“八六三”智慧型機主題“九五’
調整
關於博士生的自我培養
論著目錄
自述
科研論著
第一部分 程式理論
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年代各國計算機計畫看“八六三”智慧型機主題“九五’
調整
關於博士生的自我培養
論著目錄
