利用 Mathematica,函数图象: 画函数y=f(x)在区间[a,b] 上的图象的语句:

12.1 环的定义与性质 12.2 整环与域

• 函数迭代 • 二次函数的迭代 • FeigenBaum图 • 混沌的特性 • 其它函数的迭代

• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理

8.1 函数的定义与性质 8.2 函数的复合与反函数 8.3 一个电话系统的描述实例

7.1 有序对与笛卡儿积 7.2 二元关系 7.3 关系的运算 7.4 关系的性质 7.5 关系的闭包 7.6 等价关系与划分 7.7 偏序关系

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释

–推理的形式结构 –自然推理系统P

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式