《lisp符号计算简明教程》求取 ⇩

引言：开始了解计算机1

1.美与计算机1

2.学习计算机的具体理由1

3.计算机渗透到各个领域1

4.计算机作为研究的工具2

5.计算机与形式推理3

6.程序就是描述3

7.人工智能：机器真能思维吗？4

第一章 函数和数据5

1.1 引言5

1.2 算术函数5

1.3 整数除法5

1.4 输入次序是重要的6

1.5 符号8

1.6 特殊符号T 与 NIL8

1.7 一些简单谓词9

1.8 谓词 EQUAL10

1.9 把函数组合在一起11

1.9.1 定义 SUB211

1.9.2 定义 ONE MOREP12

1.9.3 在函数内部使用常量18

1.10 谓词 NOT14

1.10.1 否定一个谓词15

1.11 函数的串联16

1.12 错误17

1.13 提要18

扩展课题118

1.对象的类型18

2.封闭性19

3.逆函数20

4.构造性的定义函数20

5.现实世界有意识；计算机无意识21

第二章 表23

2.1 表是一种重要的数据类型28

2.2 表的形式23

2.8 表的长度24

2.4 NIL：空表24

2.5 表的内部表示法25

2.6 CAR 和 CDR 函数28

2.0.1 嵌套表的 CAR 和 CDR29

2.6.2 NIL 的 CAR 和 CDR30

2.7 CONS81

2.7.1 CONS 和空表83

2.7.2 用 CONS 构造嵌套的表83

2.7.8 CONS 可以从一个空表开始造表33

2.8 LIST34

2.9 LENGTH37

2.10 用 LIST 进行程序设计87

2.10.1 从表中取出元素88

10.2 拆开嵌套表39

2.10.8 置换表的第一个元素40

2.11 CONS 构造非表结构40

2.12 提要42

扩展课题243

1.CONS 与 CAR/CDR 的对称性43

2.CDR 与封闭性43

3.用表表示一进制算术44

第三章 EVAL 表示法46

8.1 引言46

8.2 EVAL 函数46

3.8 求值规则规定了 EVAL 的动作46

8.4 EVAL 表示法可以做盒子表示法做的任何事情47

8.5 我们为什么需要加引号？48

3.6 错误加引号问题49

3.7 造表的两种方法49

8.8 用 EVAL 表示法定义函数50

3.9 错误定义函数的四种情况52

3.10 解释约束变量52

8.11 提要53

上机54

1.运行 Lisp54

2.终端键盘的布局55

3.READ－EVAL－PRINT 循环55

4.提示计算机用户56

第一次键盘练习57

扩展课题358

1.关于 LAMBDA 表示法的说明58

2.无自变量的函数58

3.动态域和变量的再约束59

4.特殊形式 QUOTE61

5.EVAL 和 APPLY62

第四章 条件式64

4.1 引言64

4.2 特殊形式 IF64

4.3 特殊形式 COND65

4.4 用 T 作为条件66

4.5 另外两个 COND 的例子67

4.6 COND 与括号错68

4.7 特殊形式 AND 与 OR70

4.8 对 AND 与 OR 进行求值70

4.9 构造复杂的谓词71

4.10 AND 与 OR 为什么是条件式73

4.11 条件式是可以互换的73

4.12 提要75

扩展课题475

1.布尔函数75

2.真值表76

8.DEMORGAN 定理77

第五章 全局变量与附加作用79

5.1 引言79

5.2 SETQ 对变量赋值79

5.3 BOUNDP 与 MAKUN BOUND80

5.4 用全局变量进行程序设计81

5.5 附加作用82

5.6 提要84

键盘练习85

扩展课题586

1.SET 函数86

2.重新约束全局变量87

第六章 表数据结构89

6.1 引言89

6.2 一些有用的谓词89

6.3 普通的表函数90

6.3.1 REVERSE90

6.3.2 APPEND91

6.3.3 NCONS92

6.3.4 LAST98

6.3.5 NTH CDR 与 NTH93

6.3.6 SUBST94

6.4 表作为集合95

6.4.1 UN ION95

6.4.2 INTER SECTION95

6.4.3 SETDIFFERENCE96

6.4.4 ME MBER96

6.5 用集合进行程序设计97

6.6 表作为表格99

6.6.1 ASSOC100

6.6.2 SUBLIS100

6.7 用表格进行程序设计101

6.8 提要104

键盘练习105

扩展课题107

1.EQ 对 EQUAL107

2.共享结构108

3.有破坏性的操作108

3.1 RPLACA，RPLA CD和 DISPLA CE109

3.2 NCONC111

4.用破坏性操作进行程序设计112

第七章 施用性操作符114

7.1 引言114

7.2 APPLY－TO－ALL 操作符114

7.2.1 用APPLY－TO－ALL 处理表格114

7.3 LAMBDA 表达式116

7.4 FIND－IF 操作符117

7.4.1 用FIND－IF写出 ASSOC117

7.5 SUB SET118

7.6 EVERY120

7.7 REDUCE 操作符121

7.8 提要122

键盘练习123

扩展课题7126

1.恒等值126

2.左简化对右简化127

3.对多重表进行操作128

4.MAP 类函数129

第八章 递归131

8.1 引言131

8.2 马丁与龙131

8.3 马丁算法的 Lisp型式132

8.4 马丁再次访问龙134

8.5 阶乘函数的 Lisp 型式135

8.6 龙的梦136

8.7 一个计算面包片的 Lisp 函数136

8.8 递归的三条规则137

8.9 马丁发现无穷递归139

8.10 Lisp中的无穷递归141

8.11 用递归建立表142

8.12 两部分递归144

8.13 在艺术与文学中的递归146

8.14 提要146

键盘练习147

扩展课题8150

1.结构上的递归150

2.尾部递归153

3.递归的数据结构155

第九章 基本的输入/输出158

9.1 引言158

9.2 字符串158

9.3 特殊形式 MSG159

9.4 READ 函数161

9.5 提要162

键盘练习168

扩展课题9164

1.Lisp 1.5输出原函数164

2.通过原函数定义 MSG165

3.以点表示法进行打印165

4.混合表示法166

5.文件I/O167

第十章 迭代169

10.1 引言169

10.2 特殊形式 PROG169

10.2.1 特殊形式 GO170

10.2.2 RETURN 函数170

10.2.3 用 PROG 进行程序设计172

10.3 特殊形式 LET174

10.4 特殊形式 DO175

10.5 如何写一个精巧的 Lisp 程序176

10.6 提要177

键盘练习178

扩展课题10180

1.PROG1, PROG2 和 PROGN180

2.定义特殊形式的函数181

3.定义 MACRO 型的函数181

4.定义具有多个输入的函数182

第十一章 特性表184

11.1 引言84

11.2 建立特性184

11.3 检索特性185

11.4 修改特性185

11.5 用特性表进行程序设计186

键盘练习187

扩展课题11191

1.特性表与函数定义191

2.特性表的特殊用途191

附录A.推荐深入阅读的文献192

附录B.Lisp 语支195

1.Maclisp, Common Lisp 和 Lisp Machine Lisp195

2.Franz Lisp195

3.UCI Lisp 和 TLC－LISP196

4.Interlisp196

5.P－LISP196

附录C.Lisp的扩充部分198

1. 简化定义198

1.1 类型谓词198

1.2 表函数199

1.8 集合函数199

1.4 IF 与 MSG200

1.5 施用性操作符201

2. MACLISP 扩充部分203

附录D.练习答案210