本节讨论状态空间E和参数集T都是可列集的马尔科夫链。马尔科夫链的理论系统而深入，在自然科学、工程技术及经济管理各领域有广泛的应用

本章将介绍另一类特殊的随机过程—鞅.近几十年来，鞅理论不仅在随机过程及其他数学分支中占据了重要的地位，而且在实际问题诸如金融、保险和医学上也得到了广泛的应用。在此我们将阐述鞅的一些基本理论，并以介绍离散时间鞅为主

主要内容：一阶逻辑等值式与基本的等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统NL 及其推理规则。 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论

◼ 有限集合  元素的个数称为该集合的基数；  满足包含排斥原理。 ◼ 无限集合  元素无限多，如：自然数集合N、整数集I、实数集R等。 ◼ 问题：  对于这样的集合有没有基数呢？  如果有，基数是多少？  无限集合之间有无大小的差别? ◼ 本章主要借助于函数讨论集合的所谓“大小”问题。这里用到自然数集合这个重要的概念讨论无限集

1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论

7.1 半群和独异点 7.2 群与阿贝尔群 7.3 子群 7.4 陪集和拉格朗日定理 7.5 正规子群 7.6 同态和同构 7.7 循环群 7.8 置换群 7.9 环与域

9.1 图的基本概念 9.2 路和回路 9.3 连通图 9.4 图的矩阵表示 9.5 欧拉图和汉密尔顿图 9.6 树 9.7 二部图及匹配 9.8 平面图

4.1 二元关系及其表示 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包运算 4.5 等价关系 4.6 相容关系 4.7 序关系

以加热炉中烟气出口处蓄热体为研究对象,建立了一维非稳态导热过程的数学模型,采用有限差分法进行模型的离散化.使用C++语言开发了计算球体蓄热体热饱和时间的程序,确定了蓄热体热饱和时间与各种影响因素之间的关系.结果表明,对流换热系数的增加会缩短蓄热体的热饱和时间,而蓄热体热容、密度及其半径的增加均使得蓄热体的热饱和时间线性增加

5.1 树的定义和术语 5.2 二叉树 5.3 二叉树的遍历 5.4 二叉树遍历的迭代器类 5.5 中序穿线树（×） 5.6 最优二叉树及其应用 5.7 树和森林