lisp符号计算简明教程

封面 1
书名 2
前言 3
目录 6
引言：开始了解计算机 13
1.美与计算机 13
2.学习计算机的具体理由 13
3.计算机渗透到各个领域 13
4.计算机作为研究的工具 14
5.计算机与形式推理 15
6.程序就是描述 15
7.人工智能：机器真能思维吗？ 16
第一章 函数和数据 17
1.1 引言 17
1.2 算术函数 17
1.3 整数除法 17
1.4 输入次序是重要的 18
1.5 符号 20
1.6 特殊符号T 与 NIL 20
1.7 一些简单谓词 21
1.8 谓词 EQUAL 22
1.9 把函数组合在一起 23
1.9.1 定义 SUB2 23
1.9.2 定义 ONE MOREP 24
1.9.3 在函数内部使用常量 30
1.10 谓词 NOT 26
1.10.1 否定一个谓词 27
1.11 函数的串联 28
1.12 错误 29
1.13 提要 30
扩展课题1 30
1.对象的类型 30
2.封闭性 31
3.逆函数 32
4.构造性的定义函数 32
5.现实世界有意识；计算机无意识 33
第二章 表 35
2.1 表是一种重要的数据类型 40
2.2 表的形式 35
2.8 表的长度 36
2.4 NIL：空表 36
2.5 表的内部表示法 37
2.6 CAR 和 CDR 函数 40
2.0.1 嵌套表的 CAR 和 CDR 41
2.6.2 NIL 的 CAR 和 CDR 42
2.7 CONS 93
2.7.1 CONS 和空表 95
2.7.2 用 CONS 构造嵌套的表 95
2.7.8 CONS 可以从一个空表开始造表 45
2.8 LIST 46
2.9 LENGTH 49
2.10 用 LIST 进行程序设计 99
2.10.1 从表中取出元素 100
10.2 拆开嵌套表 51
2.10.8 置换表的第一个元素 52
2.11 CONS 构造非表结构 52
2.12 提要 54
扩展课题2 55
1.CONS 与 CAR/CDR 的对称性 55
2.CDR 与封闭性 55
3.用表表示一进制算术 56
第三章 EVAL 表示法 58
8.1 引言 58
8.2 EVAL 函数 58
3.8 求值规则规定了 EVAL 的动作 58
8.4 EVAL 表示法可以做盒子表示法做的任何事情 59
8.5 我们为什么需要加引号？ 60
3.6 错误加引号问题 61
3.7 造表的两种方法 61
8.8 用 EVAL 表示法定义函数 62
3.9 错误定义函数的四种情况 64
3.10 解释约束变量 64
8.11 提要 65
上机 66
1.运行 Lisp 66
2.终端键盘的布局 67
3.READ－EVAL－PRINT 循环 67
4.提示计算机用户 68
第一次键盘练习 69
扩展课题3 70
1.关于 LAMBDA 表示法的说明 70
2.无自变量的函数 70
3.动态域和变量的再约束 71
4.特殊形式 QUOTE 73
5.EVAL 和 APPLY 74
第四章 条件式 76
4.1 引言 76
4.2 特殊形式 IF 76
4.3 特殊形式 COND 77
4.4 用 T 作为条件 78
4.5 另外两个 COND 的例子 79
4.6 COND 与括号错 80
4.7 特殊形式 AND 与 OR 82
4.8 对 AND 与 OR 进行求值 82
4.9 构造复杂的谓词 83
4.10 AND 与 OR 为什么是条件式 85
4.11 条件式是可以互换的 85
4.12 提要 87
扩展课题4 87
1.布尔函数 87
2.真值表 88
8.DEMORGAN 定理 89
第五章 全局变量与附加作用 91
5.1 引言 91
5.2 SETQ 对变量赋值 91
5.3 BOUNDP 与 MAKUN BOUND 92
5.4 用全局变量进行程序设计 93
5.5 附加作用 94
5.6 提要 96
键盘练习 97
扩展课题5 98
1.SET 函数 98
2.重新约束全局变量 99
第六章 表数据结构 101
6.1 引言 101
6.2 一些有用的谓词 101
6.3 普通的表函数 102
6.3.1 REVERSE 102
6.3.2 APPEND 103
6.3.3 NCONS 104
6.3.4 LAST 110
6.3.5 NTH CDR 与 NTH 105
6.3.6 SUBST 106
6.4 表作为集合 107
6.4.1 UN ION…