《应用随机过程教程》教学资源（参考资料）与在算法和智能计算中的应用——符号说明

一、描述程序设计语言中单词的一种简单而且数学化的工具。 二、表示符号串的构成模式 三、正则表达式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、推理证明(推理规则)

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

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