1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

单纯形法的矩阵描述 对偶问题的提出 线性规划的对偶理论 对偶问题的经济解释－影子价格 对偶单纯形法 灵敏度分析(选讲) 掌握WinQSB软件求解对偶规划

§6-1 平衡态 温度 理想气体状态方程 §6-2 理想气体压强公式 §6-3 温度的统计解释 §6-4 能量均分定理 理想气体的内能 §6-5 麦克斯韦分子速率分布定律 *§6-6 玻耳兹曼分布律 §6-7 分子的平均碰撞次数和平均自由程 *§6-8 气体内的输运过程

2.1 波函数的统计解释 The Wave function and its statistic explanation 2.2 态叠加原理 The principle of superposition 2.3 薛定谔方程 The Schrödinger equation 2.4 粒子流密度和粒子数守恒定律 The current density of particles and conservation laws 2.5 定态薛定谔方程 Time independent Schrödinger equation 2.6 一维无限深势阱 The infinite potential well 2.7 线性谐振子 The linear harmonic oscillator 2.8 势垒贯穿 The transmission of potential barrier

从几何直观上认识解的含义、及解与微分方程的直观联系 了解和熟悉保证微分方程解的存在、唯一性的条件 具体问题如何建立数学模型

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

大纲要求： 汇编、编译、解释系统的基础知识和基本工作原理。 程序设计语言的基本成分一数据、运算、控制和传输以及过程（函数）调用。 各类程序设计语言的主要特点和适用情况