具体描述
作者简介
李未，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年代各国计算机计划看“八六三”智能机主题“九五’
调整
关于博士生的自我培养
论著目录
· · · · · · (收起)
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有