《理论计算机科学》课程教学资源（阅读文献）Computational Complexity - A Modern Approach

《理论计算机科学》课程教学资源（阅读文献）Approximation via Correlation Decay when Strong Spatial Mixing Fails（HIS）

《理论计算机科学》课程教学资源（阅读文献）Analysis Of Boolean Functions（Ryan O’Donnell）

连续铸钢计算机控制系统的建立,是连铸生产自动化的保证。为了进一步提高和完善该系统的控制功能,运用计算机辅助手段对连续铸钢凝固传热过程的数学模型（尤其是二冷水控制模型）进行仿真分析与研究,具有特别重要的意义。本文主要介绍了连续铸钢凝固传热过程数学模型的建立、仿真算法的数学抉择、连续铸钢凝固传热过程计算机仿真软件包的主要内容及该软件包应用于实际的结果分析等

第一节序偶与笛卡尔积 第二节关系的概念 第三节复合关系与逆关系 第四节关系的性质

第5章函数 5.1基本概念 5.2函数的复合 5.3特殊性质的函数 5.4鸽洞原理

4.1 Lagrange插值法 4.2 Newton插值法

清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

南京大学计算机科学与技术系：《数值计算方法》课程教学资源（PPT课件）第3章 解线性方程组的数值解法 3.1 高斯消元法

第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论