一、描述程序设计语言中单词的一种简单而且数学化的工具。 二、表示符号串的构成模式 三、正则表达式r定义了一个符号串集合rs

第一节 初识符号计算系统Mathematica 一、算术运算 二、代数运算 四、Notebook与Cell 三、系统的帮助 五、常用函数 六、变量 七、自定义函数 八、表 九、解方程 十、Which语句 第二节 用Mathematica做高等数学 一、求极限 二、求导运算 三、做导数应用题 四、做一元函数的积分 五、 解常微分方程 六、做三维图形 七、求偏导数 八、计算重积分 九、级数运算 十、 做数值计算

4.1坐标变换 4.2二维图形裁剪 4.2.1线段的矢量裁剪法 4.2.2线段的编码裁剪法 4.2.3多边形的裁剪 4.3地图符号的自动绘制 4.3.1线型 4.3.2线状符号 4.3.3多边形轮廓线内绘制晕线 4.4曲线的绘制 4.4.1正轴抛物线加权平均法 4.4.2近似斜轴抛物线加权平均法 4.4.3张力样条函数插值法 4.5等高线的绘制

逻辑代数：描述和研究客观世界中事物间逻辑 关系的数学，它把事物间逻辑关系简化为符号 间的数学运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔（G. Boole）最早提出，所以也称为布尔代数。 又因为布尔代数中的常量、变量都只有“真”（True ）和“假”（False）两种取值，所以也称为二值代 数

重点: 1、命题(简单命题, 复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假) 3、等值演算( 证明A  B) 4、联结词完备集 ( 用指定联结词表示任意公式) 5、主析（主合）取范式, 成真(假)赋值 6、推理证明(推理规则)

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

第一章 基本知识 第二章 工具 第三章 绝对值 第四章 典型不等式 第五章 极大与极小问题 第六章 距离之性质 符号 习题答案 名词对照表

本章主要内容： · 多因素试验问题、正交试验、正交表符号的意义。 · 因素、水平、自由度、试验指标、交互作用。均衡分散性、整齐可比性、自由度选表原则、表头设计。 · 正交表的特点、用正交表安排试验及结果分析。正交试验的步骤

MATLAB基础 矩阵与数组运算 常用数学函数 符号运算 MATLAB编程 二维与三维绘图 最优化问题求解 线性规划 整数规划 二次规划