本章讨论的关系是我们通常的诸 如大小关系、整除关系、上下级 等关系的共同的数学模型，掌握 关系运算极其关系运算的性质、 实际意义.深入理解关系、关系图、 关系矩阵之间的联系，熟练地掌 握两类特殊的关系—等价关系与 偏序关系；熟练地用Warshall算 法求关系的传递闭包；理解映射 的意义，本章为第三、六、七章 的基础

第一节谓词与量词 第二节公式与解释 第三节等价与蕴涵 第四节前束范式 第五节谓词演算的演绎与推理

《高等数学 1,2》 《经济数学 1，2，3》 《文科数学 1，2》 《线性代数》 《概率论与数理统计 I》 《概率论与数理统计 II》 《数值分析Ⅰ》 《数值分析Ⅱ》 《数值分析Ⅲ(或计算方法)》 《离散数学 I》 《离散数学 II》 《复变函数与积分变换 I》 《复变函数与积分变换 II》 《运筹学》 《运筹学（公选）》 《数学模型》 《数学建模（公选）》 《矢量分析与场论》 《大学物理 I1 ，I2》 《大学物理 II1 ，II2》 《大学物理Ⅲ》 《医学物理学》 《文科物理》 《近代物理（公选）》 《现代工程技术中的物理基础（公选）》 《科学研究方法论（公选）》 《科学技术概论（公选）》 《PASCO 物理探索（公选）》 《数学分析 1，2，3》 《高等代数 1，2》 《空间解析几何》 《常微分方程》 《信息论概论》 《信号与系统 I》 《信号与系统 II》 《数据分析与应用软件》 《信息论与编码理论 I》 《信息论与编码理论 II》 《最优化方法》 《数字信号处理》 《数字图像处理》 《数学专业英语》 《算法分析》 《信息科学导论》 《电路分析》 《数学物理方法》 《电磁场与电磁波》 《应用光学》 《电子设计自动化》 《光度学与色度学基础》 《数字信号处理及应用》 《激光原理及应用》 《信息光学》 《光电子技术基础》 《光电测量技术》 《微波原理与天线》 《现代通信技术》 《红外物理及应用》 《数字语音处理》 《大学物理实验 I1，I2》 《近代物理实验（公选）》 《近代物理基础与实验》 《电子信息专业综合实验》 《数学实验》 《信号与系统课程设计》 《数字信号处理课程设计》 《信息论与编码理论课程设计》 《数字图象处理课程设计》 《计算机技能培训》 《专业实践与训练》 《毕业实习》

1．理解两类曲线和曲面积分的概念，了解两类积分的性质以及两类积分的关系。 2．掌握计算两类曲线、曲面积分的方法。 3．掌握格林公式并会运用平面曲线积分与路径无关的条件。 4．了解高斯公式，并会用高斯公式求曲面积分。 5．会用曲线积分和曲面积分求一些几何量与物理量（弧长﹑质量﹑重心﹑转动惯量﹑引力、功和流量等）

一、理论要求 1.函数概念与性质 函数的基本性质（单调、有界、奇偶、周期）几类常见函数（复合、分段、反、隐、初等函数） 2.极限 极限存在性与左右极限之间的关系夹逼定理和单调有界定理会用等价无穷小和罗必达法则求极限

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

第一章 射影平面 第二章 射影变换 第三章 变换群与几何学 第四章 二次曲绕理论

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

一、费马引理 二、拉格朗日中值定理 三、柯西中值定理 四、泰勒中值定理

二、可微与可导的关系 三、微分的几何意义一、微分的定义四、微分的运算法则 五、微分在近似计算中的应用