布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

• 递归函数和不动点算子，以及PCF语言的编程实例 • 基于完全偏序集合的，带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法，这是一种对递归定义进行推理的证明方法

1、掌握电化学的基本感念和法拉第电解定律，了解迁移数的意义及常用的测定迁移数的方法。 2、明确电导率、摩尔电导率的意义及它们与溶液浓度的关系。 3、熟悉离子独立运动定律及电导测定的一些应用。 4、明确离子活度、平均活度和平均活度系数的概念。 5、了解强电解质溶液理论〈主要是德拜一休克尔离子互吸理论}

创立（17世纪）：Newton（力学）Leibniz（几何） (无穷小) 严格化（19世纪）: Cauchy, Riemann, Weierstrass (极限理论(ε-N, ε-δ语言)，实数理论) 外微分形式（20世纪初）：Grassmann, Poincare, Cartan （微积分基本定理如何在高维空间得到体现）

2.1 信道编码定理 2.2 硬判决与软判决 2.3 基本信道模型及其信道容量 2.4 MAP与ML算法 2.5 因子图与和积算法

11.1 时间序列定义 11.2 时间序列模型的分类 11.3 Wold 分解定理 11.4 自相关函数（不讲理论，只分析特征） 11.5 偏自相关函数（不讲理论，只分析特征） 11.6 时间序列模型的建立与预测 11.7 案例分析（中国人口、粮食产量 ARIMA 模型） 11.8 回归与 ARMA 组合模型

通过介绍 Hahn-Banach 定理在最佳逼近方面的应用帮助 学生认识这一定理应用的途径和方式。 Hahn-Banach 定理在理论上和应用上都是十分重要的，它往往提 供了某些学科或学科分支的理论基础. 这里介绍一些它们在逼近论方面的应用

第一章基本概念和初等解法 1.1微分方程模型与基本概念 1.2初等解法 1.3基本理论问题 第二章线性微分方程组 2.1引论 2.2一般理论 2.3常系数线性微分方程组 2.4高阶线性微分方程 第三章定性和稳定性理论 3.1基本概念 3.2二阶系统的定性分析 3.3一般非线性系统零解的稳定性

4.1 表象理论 4.1.1 菲克第一定律 4.1.2 菲克第二定律 4.1.3 扩散方程的解 4.1.4 置换固溶体中的扩散 4.2 扩散的热力学分析 4.2.1 扩散驱动力 4.2.2 上坡扩散影响因素 4.3 扩散的原子理论 4.3.1 扩散机制 4.3.2 原子跳跃和扩散系数 4.4 扩散激活能 4.5 无规行走与扩散距离 4.6 影响扩散的因素