• 程序逻辑：描述和论证程序行为的逻辑 – 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-3线性映射与线性变换 4.3.1线性映射的定义 定义设U,V为数域K上的线性空间,φ:U→V为映射,且满足以下两个条件: i)、(a+)=(a)+(),(a,B∈U); i)、(ka)=k(a),(a∈U,k∈K), 则称为(由U到V的)线性映射, 由数域K上的线性空间U到V的K的线性映射的全体记为Hom(U,V),或简记为 Hom(U,). 定义中的i和)二条件可用下述一条代替 (ka+1)=k(a)+kq(B),(a,B∈U,k,l∈K)

一、教学目的要求 1.了解参数估计的估计值、估计量。 2掌握矩估计法、最大似然估计法的原理及定义。 3理解顺序统计量法的定义。 二、教学方法 讲授法:讲解参数估计的估计值、估计量等概念、矩估计法、最大似然估计定义、顺序统计量法的定义

一、织记: 商品经济的定义、自然经济的定义、市场经济的定义。 二、领会: 商品的定义、商品经济产生和存在的条件、商品经济与市场经济的关系

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

预算定额反映完成符合设计标准和施工及验收规范要求的 合格质量分项工程所消耗的人工、材料和机械台班的数量 限度。这种限度决定着单项工程和单位工程的成本和造价。 预算定额是计价性定额这是它最重要的一个性质 长期以来形成的造价计算方法是编制施工图预算。预算 定额为计算人工、材料、机械耗用量提供统一可靠的参数, 是建设单位和施工单位之间建立经济关系的重要基础

现代投资理论的产生以1952年3月 Harry.m. Markowitz发 表的《投资组合选择》为标志 1962年, Willian Sharpe对资产组合模型进行简化,提出 了资本资产定价模型( Capital asset pricin g model CAPM) 1976年, Stephen Ross提出了替代CAPM的套利定价模型 (Arbitrage pricing theory, APT) 上述的几个理论均假设市场是有效的。人们对市场能够 地按照定价理论的问题也发生了兴趣,1965年, Eugene Fama在其博士论文中提出了有效市场假说(Efficient market hypothesis, EMH)