§0-1 标量场的梯度， 算符 Gradient of Scalar Field, Operator §0-2 矢量场的散度 高斯定理 Divergence of Vector Field, Gauss’s Theorem §0-3 矢量场的旋度斯托克斯定理 Rotation of Vector Field, Stoke’s Theorem §0-4 正交曲线坐标系中 运算的表达式 Expression of Operation on Orthogonal Curvilinear Co-Ordinates System §0-5 二阶微分算符 格林定理 Second-order Differentiation Operator, Green’s Theorem

• 程序逻辑：描述和论证程序行为的逻辑 – Hoare逻辑 – Dijkstra最弱前条件演算 • 从程序到定理 – 验证条件生成 • 从定理到证明 – 定理证明器 – 判定过程 • 循环不变式的推断 • 以George C. Necula教授的讲稿为主来介绍

§6.1 磁场对电流的作用 §6.2 磁介质及其磁化强度M §6.3 磁介质中静磁场的基本定理 §6.4 介质的磁化规律 §6.5 边值关系和唯一性定理 §6.6 磁像法 §6.7 磁路定理及其应用 §6.8 磁荷法

戴维南定理 一、实验目的 1.验证戴维南定理。 2.学习测量线性有源二端网络的等效参数。 3.验证负载上获得最大功率的条件。 二、实验设备 1.直流稳压电源 2.数字万用表 3.模拟电路实验箱

第一节 直流电路 一、电路的基本概念 二、电压电流的参考方向 三、基尔霍夫定律 四、电压源和电流源 五、叠加定理 六、戴维南定理和诺顿定理 第二节 电路的暂态过程 一、RC电路的暂态过程 二、RL电路的暂态过程 第三节 交流电路 一、正弦交流电的三要素 二、正弦交流电的相量表示法 三、电阻、电感与电容元件在交流电路中的特性 四、RLC串联电路及其谐振 五、LC并联谐振回路 六、RC串联电路

8-1 磁介质与磁化强度矢量 M 8-2 磁介质中静磁场的基本定理 8-3 边值关系与唯一性定理 8-4 磁路定理 8-5 电流系统的磁能与磁场的能量 8-6 磁荷法 8-7 磁像法

第一节点的绝对运动、相对运动、牵连运动 第二节点的速度合成定理 第三节牵连运动为平移时点的加速度合成定理 第四节牵连运动为转动时点的加速度合成定理

一、 随机变量序列的收敛性 定义：（依分布收敛）

Korovkin定理 如所知,逼近的目的,是用简单的函数来逼近复杂的函数本章讲述用多项 式序列逼近有界闭区间上连续函数的可行性 §1. Weierstrass第一定理 在实变函数的数学分析中,最重要的函数类实连续函数类Cab与连续的 周期函数类C2n Ca,b]是定义在某一闭区间[a,b]上的一切连续函数所成的集合;

1、 开映射定理的条件、结论与证明思路。 2、 闭图象定理的条件、结论与证明思路。 3、 通过例子初步掌握其应用