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

• 离散数学和计算机科学的关系 – 离散数学的特点、与计算机科学的关系 • 基本知识 – 偏序集合、最小上界、完全偏序集合、函数序、函数的单调性和连续性 • 递归函数的定义式的求解 – 函数的不动点、递归函数定义、递归函数定义的解、不动点算子、最小不动点定理 • 编程语言递归函数的数学语义

2.1 变分法 2.1.1 变分原理 2.1.2 变分法 2.2 氦原子基态的变分处理 2.2.1 氦原子的 Schrödinger 方程 2.2.2 原子单位 2.2.3 单电子近似 2.2.4 反对称波函数和泡利(Pauli)原理 2.2.5 氦原子基态的变分处理 2.3 自洽场方法 2.3.1 氦原子总能量的表达式 2.3.2 哈特利-福克(Hartree-Fock)方程 2.4 中心力场近似 2.4.1 中心力场近似 2.4.2 屏蔽常数和轨道指数 2.5 原子内电子的排布 2.5.1 Pauli 原理 2.5.2 能量最低原理 2.5.3 洪特(Hund)规则 2.6 原子的状态和原子光谱项 2.6.1 电子组态与原子状态 2.6.2 原子光谱项 2.6.3 举例说明原子光谱项的写法 2.7 原子光谱 2.7.1 原子发射光谱和原子吸收光谱 2.7.2 原子光谱项所对应的能级 2.7.3 原子光谱的选择定则 2.8 定态微扰理论 2.8.1 非简并情况下的定态微扰理论 2.8.2 简并情况下的定态微扰理论 2.9 定态微扰理论的简单应用 2.9.1 氦原子基态的微扰处理 2.9.2 氢原子的一级斯达克(Stark)效应

1.1 量子概念的提出 1.1.1 光的波动性与黑体辐射 1.1.2 量子概念的提出 1.2 辐射的粒子性 1.2.1 光电效应 1.2.2 康普顿(Compton)效应 1.2.3 辐射的波粒二象性 1.3 关于原子结构的早期理论 1.3.1 电子的确定 1.3.2 汤姆森(Thomson)的原子模型 1.3.3 原子核的发现 1.3.4 卢瑟福(Rutherford)的原子模型 1.3.5 原子结构的玻尔(Bohr)理论 1.4 物质的波动性 1.4.1 德布洛意(de Broglie)假设 1.4.2 微观粒子的波动性 1.5 微观粒子状态的描述 l.5.1 微观粒子的状态 1.5.2 波函数的统计解释 1.5.3 波函数的标准化条件 1.5.4 态迭加原理 1.6 不确定（测不准）原理 1.6.1 平面波迭加成波包 1.6.2 坐标和动量的不确定关系 1.6.3 能量和时间的不确定关系 1.7 薛定谔（Schrödinger）方程 1.7.1 Schrödinger 方程的得来线索 1.7.2 定态 Schrödinger 方程 1.8 在势箱中运动的粒子 1.8.1 Schrödinger 方程的求解 1.8.2 解的讨论 1.9 算符和力学量 1.9.1 算符的一般概念 1.9.2 线性算符和厄密(Hermite)算符 1.9.3 本征值方程 1.9.4 算符和力学量的关系 1.9.5 Hermite 算符的两个性质 1.9.6 力学量的平均值 1.9.7 对易算符及其力学量 1.10 氢原子 Schrödinger 方程的解 1.10.1 原子的玻恩一奥本海默(Born-Oppenheimer)近似 1.10.2 分离变量 1.10.3 ߔ(߮)方程的解 1.10.4 ߆)θ)方程的解 1.10.5 R(r)方程的解 1.11 关于氢原子解的讨论 1.11.1 波函数߰௡௟௠是ܪ,෡ܯ෡ଶ和ܯ෡௭的共同本征函数 1.11.2 塞曼(Zeeman)效应 1.11.3 氢原子的维里（virial）定理 1.12 氢原子的电子分布图 1.12.1 径向分布图 1.12.2 角度分布图 1.12.3 空间分布图 1.13 电子自旋和角动量耦合 1.13.1 电子自旋 1.13.2 角动量耦合 习题

定积分概念与性质 一、曲边梯形面积 二、几何意义 三、定积分的概念 四、定积分的性质

一、基本内容 二、小结

一、问题提出 二、定积分的定义 三、存在定理 四、小结

4.1 叠加定理 4.2 替代定理 4.3 戴维宁定理和诺顿定理 4.4 最大功率传输定理 4.5* 特勒根定理 4.6* 互易定理 4.7* 对偶原理

一、问题的提出 二、Pn和Rn的确定 三、泰勒(Taylor)中值定理 四、麦克劳林(Maclaurin)公式 五、简单的应用 六、小结

本课程内容与国际 CHARTERED FINANCIAL ANALYST(CFA) PROGRAM考试所要求的部分内容一致。本课程将系统地讲授有关投资决策和资产定价的一般理论和分析方法。一般理论包括:利率期限结构理论,CAPM,API,期权、期货定价理论。分析方法包括:净现值定价法,股票和债券的定价,投资组合分析,投资基金管理,投资组合业绩评估