《REDUCE 语言简明教程 用计算机推导公式》求取 ⇩

第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　积分算符INT76

§4.4　解代数方程的算符SOLVE80

§4.5　说明新前缀算符92

小结97

习题98

第5章　代换语句与过程101

§5.1　替换算符SUB101

§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　前缀算符MAT156

§6.3　矩阵表达式157

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

§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章在不同机型上使用REDUCE269

§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