李未院士文集

书籍目录

目 录

自述

科研论著

第一部分 程序理论

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年代各国计算机计划看“八六三”智能机主题“九五’

调整

关于博士生的自我培养

论著目录

内容概要

李未，1943年

6月出生。1966年毕

业于北京大学，

1983年获英国爱丁

堡大学计算机科学

博士学位。现为北

京航空航天大学计

算机系教授、软件

开发环境国家重点

实验室主任、中国

科学院院士、国务

院学位委员会委

员。李未在实用并

发语言语义、并发

语言的翻译理论等

方面取得了开创性

研究成果。曾获国

家自然科学二等

奖、何梁何利科技

进步奖等多项奖励。

 李未院士文集下载