– 多态类型系统的语法，包括直谓式的，非直谓式的和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 分支规则

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

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

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

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

一、田径运动场地的演变 古代奥林匹克运动会是在希腊的雅典举行,通过挖掘古遗址发现,当时的田径场地 是长方形的直跑道,长度不一,约合185115米。终点线是绳子,手抓住绳子就算到 达终点。后来演变为马蹄形场地,这种场地一直沿用到现代第一届奥林匹克运动会。二 十世纪初,又演变成半圆式场地,这种场地一直沿用到现在。在这期间还出现过篮曲式 和三圆心式场地。目前世界各国都采用半圆式田径场地。一开始半圆式田径场地的周长 不统一,直到第七届现代奥运会才确定为400米,两个半圆的半径r有36米的,有 37.898米,目前国际田联建议标准田径场地两个半圆的半径最好修建成36.50米

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、命题变形推理 第四节 三段论推理

一、直线及直线上点的投影分析 二、平面立体的三面投影及其上直线的影分析 三、两直线的相对几何关系