北京大学：《离散数学》离散数学之二：《代数结构与组合数学》引言（主讲：屈婉玲）

《数学分析》习 题 13.3 重积分的变量代换

一、平面的点法式方程 二、平面的一般方程 三、两平面的夹角

一、曲面方程的概念 二、旋转曲面 三、柱面 四、二次曲面

掌握该软件的主要功能与基本使用方法，解决高等代数，数值计算等课程的一些常见问题

运用 Mathematica 完成向量代数的基本运算，求解简单空间曲线与曲面问题，掌握绘制空间曲线，平面，二次曲面的方法

基础部分一： 1、逻辑：命题逻辑、谓词逻辑 2、集合：集合、函数 基础部分二： 1、算法 2、数论 3、代数系统

一、数值积分方法的基本思想 二、代数精度的概念 三、插值型求积公式

逻辑代数( Logic Algebra)是由英国数 学家乔治布尔( George Boole)于1849年首 先提出的,因此也称为布尔代数( Boolean Algebra)。逻辑代数研究逻辑变量间的相互 关系,是分析和设计逻辑电路不可缺少的数学 工具。所谓逻辑变量,是指只有两种取值的变 量:真或假、高或低、1或0

1．格的概念，偏序集上的并运算、 偏序集上的交运算。 2．分配格、有补格； 3．布尔代数、Stone表示定理及其推 论，布尔表达式、布尔函数、开关代数的 概念