– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

4.1 对称元素和对称操作 4.1.1 对称元素和对称操作的定义 4.1.2 对称元素和对称操作的类型 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 群的表示 4.5.1 对称操作的矩阵形式 4.5.2 群的表示 4.6 群的不可约表示的性质 4.6.1 “广义正交定理”及其推论 4.6.2 群的特征标表 4.6.3 可约表示的分解 4.7 基函数 4.7.1 基函数 4.7.2 对称性匹配的线性组合(SALC)投影算子法 4.8 群论和量子力学 4.8.1 本征函数是不可约表示的基 4.8.2 能级的简并度等于不可约表示的维数 4.9 群论在化学键和分子力学中的应用 4.9.1 亲化轨道(D3h 对称性) 4.9.2 休克尔（Huckel）分子轨道(HMO)理论 苯分子 4.9.3 分子振动 H2O 分子 4.10 直乘积表示、分支规则 4.10.1 直积表示 4.10.2 对称直积和反称直积 4.10.3 选择定则 4.10.4 分支规则

一、直线方程 如果一个非零向量 s 可平移至直线 L上，则称 s 平行于L，记作 s // L.与直线平行的非零向量称为直线 L 的方向向量

•国际直接投融资概述 •国际直接投融资主体——跨国公司 •国际直接投融资方式

1. 明确直线方程一般式的形式特征; 2. 会根据直线方程的一般式求斜率和截距; 3. 会把直线方程的点斜式、两点式化为一般式

实验一 不可逆单闭环直流调速系统静特性的研究 实验二 双闭环晶闸管不可逆直流调速系统 实验三 双闭环可逆直流脉宽调速系统 实验四 双闭环三相异步电动机调压调速系统 实验五 双闭环三相异步电动机串级调速系统

1.理解直线方程点斜式的形式特点和适用范围. 2.了解求直线方程的一般思路. 3.了解直线方程斜截式的形式特点

5.1 基本斩波电路 5.1.1 降压斩波电路 5.1.2 升压斩波电路 5.1.3 升降压斩波电路和Cuk斩波电路 5.1.4 Sepic斩波电路和Zeta斩波电路 5.2 复合斩波电路和多相多重斩波电路 5.2.1 电流可逆斩波电路 5.2.2 桥式可逆斩波电路 5.2.3 多相多重斩波电路 5.3 带隔离的直流直流变流电路 5.3.1 正激电路 5.3.2 反激电路 5.3.3 半桥电路 5.3.4 全桥电路 5.3.5 推挽电路 5.3.6 全波整流和全桥整流 5.3.7 开关电源 6.1 交流调压电路 6.1.1 单相交流调压电路 6.1.2 三相交流调压电路 6.2 其他交流电力控制电路 6.2.1 交流调功电路 6.2.2 交流电力电子开关 6.3 交交变频电路 6.3.1 单相交交变频电路 6.3.2 三相交交变频电路 一 PWM的基本原理 二 PWM控制方式 （1）计算法 （2）调制法 三 PWM在逆变电路中的应用（电压型） 四 PWM调制方式

第一节 词项及明确词项的逻辑方法 第二节 性质命题理论 第三节 直接推理 一、什么是直接推理 二、直接推理的种类 直接推理包括 1、对当关系推理 2、命题变形推理 第四节 三段论推理

1. 理解点到直线距离公式的推导; 2. 熟练掌握点到直线的距离公式; 3. 会用点到直线距离公式求解两平行线距离