10.1 存储系统、费用和管理 10.2 确定型存储模型 10.3 多阶段存储模型 10.4 随机型存储模型

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

–推理的形式结构 –自然推理系统P

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

第一章行列式 第二章矩阵理论 第三章向量空间

一、主要内容 理论依据

北京大学：《高等代数》课程教学资源（讲义）第九章 一元多项式环 9.1 一元多项式环的基本理论（9.1.7-9.1.11）

线性系统的数学描述，系统描述中常用的基本概念，系统的外部描述传递函数，系统的内部描述状态空间表达式

一、 Rolle中值定理 二、 Lagrange中值定理 三、 Cauchy中值定理 四、 Taylor中值定理 五、小结