图书介绍
李未院士文集PDF|Epub|txt|kindle电子书版本网盘下载
- 李未著 著
- 出版社： 北京：北京出版社
- ISBN：7200038334
- 出版时间：2000
- 标注页数：355页
- 文件大小：9MB
- 文件页数：366页
- 主题词：
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
李未院士文集PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录自述1
科研论著19
第一部分 程序理论An Operational Semantics of Multitasking and ExceptionHandling in Ada21
A Syntax-Directed Approach for Implementing the Rendez-vous Mechanism in Ada64
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 Theory123
第二部分 开放逻辑及其应用（英文）An Open Logic System156
A Logical Framework for Evolution of Specifications179
The Inductive Process:A Logical Framework for In-ductive Inference204
第三部分 中文学术论文关于离散型试验的最优设计230
一个开放的逻辑系统254
归纳推理和归纳进程272
形式化方法的局限性295
第四部分 其他对智能机基础研究的几点看法323
从80年代各国计算机计划看“八六三”智能机主题“九五”调整331
关于博士生的自我培养336
论著目录345