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

目录自述 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