λ-演算的语法和语义PDF|Epub|txt|kindle电子书版本网盘下载

λ-演算的语法和语义PDF格式电子书版下载

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

第0章 读者须知1

第一部份 基本概念3

第1章 介绍3

1.1 λ-演算概况3

1.2 完备偏序和Scott拓扑7

1.3 练习题14

第2章 换位17

2.1 λ-项和换位17

2.2 理论的若干变种26

2.3 第二部份概貌32

2.4 练习题35

第3章 归约37

3.1 归约的概念37

3.2 β-归约43

3.3 η-归约46

3.4 第三部份概貌50

3.5 练习题54

第4章 理论57

4.1 λ-理论57

4.2 第四部份概貌62

4.3 练习题63

第5章 模型65

5.1 组合代数66

5.2 λ-代数和λ-模型69

5.3 语法模型77

5.4 在具体笛卡尔闭范畴上的模型79

5.5 在（任意）笛卡尔闭范畴上的模型81

5.6 其他模型描述；范畴模型89

5.7 第五部份概貌93

5.8 练习题97

第二部份 换位100

第6章 经典λ-演算100

6.1 不动点组合子100

6.2 标准组合子101

6.3 λ-可定义性102

6.4 数系105

6.5 再谈不动点；Godel数106

6.6 不可判定性108

6.7 自身表达句和递归定理109

6.8 练习题110

第7章 组合理论113

7.1 组合逻辑113

7.2 CL-归约115

7.3 CL和λ之间的关系116

7.4 练习题120

第8章 经典λ-演算（续）123

8.1 基和枚举123

8.2 一致性；无穷序列125

8.3 可解性；首范式127

8.4 偏函数的可定义性132

8.5 练习题135

第9章 λI-演算137

9.1 广义性137

9.2 可定义性138

9.3 组合子141

9.4 可解性145

9.5 练习题154

第10章 Bohm树156

10.1 基本概念156

10.2 比较Bohm树；∧上的树拓扑166

10.3 超Bohm技术178

10.4 项的可分离性185

10.5 λI-演算中的可分离性189

10.6 练习题197

第三部份 归约200

第11章 基本定理200

11.1 Church-Rosscr定理200

11.2 展开的有限性205

11.3 λI-守恒定理212

11.4 标准化214

11.5 练习题217

第12章 强等价归约219

12.1 归约图219

12.2 CR和FD!的加强形式226

12.3 标准化的加强形式230

12.4 练习题235

第13章 归约对策236

13.1 对策分类236

13.2 能行正规化和同归对策237

13.3 递归CR对策242

13.4 能行永久对策245

13.5 最优对策250

13.6 练习题253

第14章 加标归约256

14.1 强正规化256

14.2 应用261

14.3 连续性265

14.4 序列性和稳定性271

14.5 练习题277

第15章 其它的一些归约279

15.1 BH-归约279

15.2 BHΩ-归约282

15.3 δ-归约292

15.4 练习题297

第四部份 理论300

第16章 灵敏理论300

16.1 К—理论300

16.2 К＊—理论304

16.3 2ψо灵敏理论307

16.4 В—理论310

16.5 练习题313

第17章 其他λ理论314

17.1 半灵敏性和r.c．理论314

17.2 ω—理论318

17.3 λη的ω—规则部份有效性324

17.4 ω—规则和Кη332

17.5 练习题337

第五部份 模型339

第18章 模型的构造339

18.1 图模型Pω339

18.2 模型D∞345

18.3 模型В352

18.4 练习题356

第19章 模型的局部结构362

19.1 Pω的局部结构362

19.2 D∞的局部结构367

19.3 连续的λ-模型370

19.4 练习题372

第20章 模型的整体结构374

20.1 外延性；范畴性374

20.2 区域性质376

20.3 不可定义性的几个结果378

20.4 局部与整体可表示性的对比379

20.5 模型上的树拓扑382

20.6 练习题385

第21章 组合群388

21.1 组合半群388

21.2 可逆性的特征389

21.3 G（λη）和G（H＊）群398

21.4 练习题402

参考文献404