李未院士文集PDF电子书下载

李未，1943年 6月出生。1966年毕 业于北京大学， 1983年获英国爱丁 堡大学计算机科学 博士学位。现为北 京航空航天大学计 算机系教授、软件 开发环境国家重点 实验室主任、中国 科学院院士、国务 院学位委员会委 员。李未在实用并 发语言语义、并发 语言的翻译理论等 方面取得了开创性 研究成果。曾获国 家自然科学二等 奖、何梁何利科技 进步奖等多项奖励。

查看更多关于的内容

目录自述 1

科研论著 19

第一部分　程序理论An Operational Semantics of Multitasking and ExceptionHandling in Ada 21

A Syntax-Directed Approach for Implementing the Rendez-vous Mechanism in Ada 64

A Structural Operational Semantics for an Edison-like Langu-age(1) 91

A Structural Operational Semantics for an Edison-like Langu-age(2) 107

An Operational Translation Theory 123

第二部分 开放逻辑及其应用（英文）An Open Logic System 156

A Logical Framework for Evolution of Specifications 179

The Inductive Process:A Logical Framework for In-ductive Inference 204

第三部分 中文学术论文关于离散型试验的最优设计 230

一个开放的逻辑系统 254

归纳推理和归纳进程 272

形式化方法的局限性 295

第四部分 其他对智能机基础研究的几点看法 323

从80年代各国计算机计划看“八六三”智能机主题“九五”调整 331

关于博士生的自我培养 336

论著目录 345

查看更多关于的内容