图书介绍

程序设计语言的形式语义2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

GlynnWinskel著；宋国新，邵志清，潘俊，孙霖等译著
出版社：机械工业出版社；中信出版社
ISBN：7111131533
出版时间：2004
标注页数：283页
文件大小：12MB
文件页数：297页
主题词：程序语言－形式语义学－高等学校－教材

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：1a9b67e588c6a8867ef22a400eec9c93

下载说明

程序设计语言的形式语义PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章集合论基础1

1.1 逻辑记号1

1.2 集合2

1.2.1 集合与性质2

1.2.2 一些重要集合3

1.2.3 集合的构造3

1.2.4 基本公理5

1.3 关系与函数5

1.3.1 λ记号5

1.3.2 复合关系与复合函数6

1.3.3 关系的正象与逆象7

1.3.4 等价关系7

1.4 进一步阅读资料8

第2章操作语义9

2.1 IMP——一种简单的命令式语言9

2.2 算术表达式的求值10

2.3 布尔表达式的求值13

2.4 命令的执行14

2.5 一个简单的证明16

2.6 另一种语义18

2.7 进一步阅读资料20

第3章归纳原理21

3.1 数学归纳法21

3.2 结构归纳法22

3.3 良基归纳法24

3.4 对推导的归纳27

3.5 归纳定义30

3.6 进一步阅读资料31

第4章归纳定义33

4.1 规则归纳法33

4.2 特殊的规则归纳法35

4.3 操作语义的证明规则36

4.3.1 算术表达式的规则归纳法36

4.3.2 布尔表达式的规则归纳法37

4.3.3 命令的规则归纳法38

4.4 算子及其最小不动点41

4.5 进一步阅读资料43

第5章 IMP的指称语义45

5.1 目的45

5.2 指称语义46

5.3 语义的等价性49

5.4 完全偏序与连续函数55

5.5 克纳斯特－塔尔斯基定理59

5.6 进一步阅读资料60

第6章 IMP的公理语义61

6.1 基本思想61

6.2 断言语言Assn63

6.2.1 自由变量与约束变量64

6.2.2 代入65

6.3 断言的语义66

6.4 部分正确性的证明规则70

6.5 可靠性71

6.6 应用霍尔规则的一个示例73

6.7 进一步阅读资料75

第7章霍尔规则的完备性77

7.1 哥德尔不完备性定理77

7.2 最弱前置条件与可表达性78

7.3 哥德尔定理的证明85

7.4 验证条件86

7.5 谓词转换器88

7.6 进一步阅读资料90

8.1 基本定义91

第8章域论91

8.2 一个例子——流92

8.3 完全偏序上的构造94

8.3.1 离散完全偏序95

8.3.2 有限积95

8.3.3 函数空间98

8.3.4 提升100

8.3.5 和102

8.4 元语言103

8.5 进一步阅读资料106

第9章递归方程109

9.1 REC语言109

9.2 传值调用的操作语义110

9.3 传值调用的指称语义111

9.4 传值调用的语义等价115

9.5 传名调用的操作语义118

9.6 传名调用的指称语义119

9.7 传名调用的语义等价121

9.8 局部声明124

9.9 进一步阅读资料125

第10章递归技术127

10.1 贝伊克定理127

10.2 不动点归纳法129

10.3 良基归纳136

10.4 良基递归137

10.5 一个练习139

10.6 进一步阅读资料141

第11章高阶类型语言143

11.1 活性语言143

11.2 活性操作语义145

11.3 活性指称语义146

11.4 活性语义的一致性148

11.5 惰性语言156

11.6 惰性操作语义156

11.7 惰性指称语义157

11.8 惰性语义的一致性158

11.9 不动点算子162

11.10 观察与完全抽象167

11.11 和169

11.12 进一步阅读资料171

第12章信息系统173

12.1 递归类型173

12.2 信息系统定义175

12.3 闭族与斯科特前域177

12.4 信息系统的完全偏序180

12.5 构造182

12.5.1 提升183

12.5.2 和185

12.5.3 积186

12.5.4 提升函数空间188

12.6 进一步阅读资料192

第13章递归类型195

13.1 活性语言195

13.2 活性操作语义198

13.3 活性指称语义200

13.4 活性语义的适用性204

13.5 活性λ演算208

13.5.1 等式理论209

13.5.2 不动点算子211

13.6 惰性语言215

13.7 惰性操作语义216

13.8 惰性指称语义218

13.9 惰性语言的适用性224

13.10 惰性λ演算225

13.10.1 等式理论226

13.10.2 不动点算子227

13.11 进一步阅读资料230

第14章不确定性和并行性231

14.1 引言231

14.2 卫式命令232

14.3 通信进程235

14.4 米尔纳的CCS238

14.5 纯CCS241

14.6 规范语言244

14.7 模态ν演算248

14.8 局部模型检查252

14.9 进一步阅读资料258

附录A 不完备性和不可判定性261

参考文献273

索引277