REDUCE 语言简明教程 用计算机推导公式PDF电子书下载

第1章 REDUCE简介 7

§1.1 启动 7

§1.2 使用举例 8

§1.3 关机 13

§1.4 行的使用 14

小结 14

习题 15

第2章 程序结构和表达式 17

§2.1　程序的构成 17

§2.2　算符、中缀算符及算符的运算顺序 22

§2.3　表达式 28

小结 31

习题 32

第3章 语句 35

§3.1 赋值语句和数组说明语句 35

§3.2　条件语句和成组语句 38

§3.3 复合语句 41

§3.4　循环语句 49

§3.5 定义语句（DEFINE语句） 56

小结 57

习题 58

§4.1　标准函数和浮点数运算 60

第4章 前缀算符 60

§4.2　微商算符 70

§4.3　积分算符INT 76

§4.4　解代数方程的算符SOLVE 80

§4.5　说明新前缀算符 92

小结 97

习题 98

第5章　代换语句与过程 101

§5.1　替换算符SUB 101

§5.2　简单代换语句（LET语句） 102

§5.3 形参代换语句（FOR ALL…LET语句） 105

§5.4 条件形参代换语句（FOR ALL…SUCHTHAT…LET语句） 109

§5.5　清除语句，赋值和LET规则的取消与更迭 111

§5.6　小变量高次幂的忽略 115

§5.7 一般表达式的代换，MATCH和LET语句的区别 118

§5.8　过程的定义和过程头 122

§5.9　过程体 125

§5.10 用LET语句定义过程 133

§5.11　复数和复型量的运算 137

§5.12　递归过程 142

小结 146

习题 147

部分习题参考答案 149

第6章　矩阵运算 155

§6.1　矩阵说明语句 155

§6.2　前缀算符MAT 156

§6.3　矩阵表达式 157

§6.4 以矩阵为宗量的算符DET、TP和TRACE 159

§6.5　矩阵运算应用实例 161

小结 165

习题 166

部分习题参考答案 166

§7.1 中间表达式和中间结果的存入及调出 169

第7章　开关和表达式的整理及输出 169

§7.2　表达式的整理和输出形式的控制 172

§7.3 写语句和表达式的FORTRAN格式输出 179

小结 185

习题 186

第8章　多项式和有理函数的运算 188

§8.1 多项式的因式分解 188

§8.2　有理函数的运算 192

§8.3　表达式的结构分析 198

小结 214

习题 216

第9章　文件管理 219

§9.1 永久文件和临时文件 219

§9.2　REDUCE系统中的文件处理语句 221

§9.3 REDUCE作业的批量提交 225

§9.4 REDUCE会话编辑和会话式控制 227

§9.5 编译信息和模块文件管理 233

小结 235

习题 236

第10章　符号模式 237

§10.1　在不同机器上进入三种系统的方法 238

§10.2 基本概念 240

§10.3 符号模式和代数模式间的通讯 254

小结 265

习题 266

第11章 在不同机型上使用REDUCE 269

§11.1 M 340机的操作 269

§11.2 IBM VM/SP或IBM VM/370机的操作 274

§11.3 IBM PC机的操作 277

§11.4 DPS8机的操作 281

§11.5 REDUCE人机会话教程 286

综合实习作业 288

附录 294